Verification of Parameterized Hierarchical State Machines Using Action Language Verifier
https://powershow.com/view/9ab4c-ZWJlO/Verification_of_Parameterized_Hierarchical_State_Machines_Using_Action_Language_Verifier
Icons create by Freepik from www.flaticon.com/
