Author:Lei Bu

Publications

Keyphrases

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