Tool-supported Program Abstraction for Finite-state Verification
https://www.powershow.com/view1/1c26ac-ZDc1Z/Tool-supported_Program_Abstraction_for_Finite-state_Verification_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/