Keyword:Hybrid System Model Checker

Publications
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'Ul Mufid, Rajarshi Ray, Yuming Wu and Enea Zaffanella In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)