ARCH-COMP, Bounded Model Checking, Hybrid System Model Checker, Hybrid Systems with Piecewise Constant Dynamics, PCDB Category.
