Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister. RiTHM: a tool for enabling time-triggered runtime verification for C programs. In Bertrand Meyer, Luciano Baresi, Mira Mezini, editors, Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. pages 603-606, ACM, 2013. [doi]
Abstract is missing.