Model Checking x86 Executables with CodeSurfer/x86 and WPDS
https://www.powershow.com/viewfl/176fdb-ZDc1Z/Model_Checking_x86_Executables_with_CodeSurfer_x86_and_WPDS_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/