Action Language: A Specification Language for Model Checking Reactive Systems
https://www.powershow.com/view/8f14f-YjdkZ/Action_Language_A_Specification_Language_for_Model_Checking_Reactive_Systems_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
