Challenge benchmarks for verification of real-time programs: (abstract only).

Tomas Kalibera Pavel Parizek Ghaith Haddad Gary T. Leavens Jan Vitek Challenge benchmarks for verification of real-time programs: (abstract only). 7-8 2009 44 SIGPLAN Notices 11 http://doi.acm.org/10.1145/1816027.1816037 db/journals/sigplan/sigplan44.html#KaliberaPHLV09