Dynamic Partial-Order Reduction for Model Checking Software
https://www.powershow.com/view1/20d180-ZDc1Z/Dynamic_Partial-Order_Reduction_for_Model_Checking_Software_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/