Patterns in Property Specifications for Finitestate Verification
https://www.powershow.com/view/94dbf-MzViN/Patterns_in_Property_Specifications_for_Finitestate_Verification_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/