Spaceex: Scalable verification of hybrid systems (2011)

by Goran Frehse , Colas Le Guernic , Re Donzé , Scott Cotton , Rajarshi Ray , Olivier Lebeltel , Rodolfo Ripado , Antoine Girard , Thao Dang
Venue:In Proceedings of the International Conference on Computer Aided Verification
Citations:74 - 5 self