Symbolic Techniques for Model Checking and State Space Exploration
https://www.powershow.com/view/8d1ce-MTQ1M/Symbolic_Techniques_for_Model_Checking_and_State_Space_Exploration_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
