Model Checking My 27 year quest to overcome the state explosion problem
https://www.powershow.com/view3/473ce9-MzM4O/Model_Checking_My_27_year_quest_to_overcome_the_state_explosion_problem_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
