Tools%20for%20Specification,%20Verification,%20and%20Synthesis%20of%20Reactive%20Systems
https://www.powershow.com/view1/d737b-ZDc1Z/Tools_20for_20Specification_20Verification_20and_20Synthesis_20of_20Reactive_20Systems_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/