Tomás Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek. Challenge benchmarks for verification of real-time programs. In Cormac Flanagan, Jean-Christophe Filliâtre, editors, Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010. pages 57-62, ACM, 2010. [doi]
Abstract is missing.