Optimizing Bounded Model Checking for Linear Hybrid Systems.

Erika brahm, Bernd Becker, Felix Klaedtke, Martin Steffen

Browse the full VMCAI paper archive.