RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs
| Title | RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs |
|---|---|
| Author | |
| Year of Publication |
2013
|
| Conference Name |
Proc. of the ACM Symposium on the Foundations of Software Engineering (FSE)
|
| Conference Location |
St. Petersburg, Russia
|
| Download citation |