Model Checking with SPIN Modeling and Verification with SPIN
https://www.powershow.com/view/12d94a-NjBjY/Model_Checking_with_SPIN_Modeling_and_Verification_with_SPIN_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/