HyComp: An SMT-Based Model Checker for Hybrid Systems.

Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta

Browse the full TACAS paper archive.