RiTHM: a tool for enabling time-triggered runtime verification for C programs

@inproceedings{Navabpour2013RiTHMAT,
  title={RiTHM: a tool for enabling time-triggered runtime verification for C programs},
  author={Samaneh Navabpour and Yogi Joshi and Chun Wah Wallace Wu and Shay Berkovich and Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister},
  booktitle={ESEC/SIGSOFT FSE},
  year={2013}
}
We introduce the tool RiTHM (Runtime Time-triggered Heterogeneous Monitoring). RiTHM takes a C program under inspection and a set of LTL properties as input and generates an instrumented C program that is verified at run time by a time-triggered monitor. RiTHM provides two techniques based on static analysis and control theory to minimize instrumentation of the input C program and monitoring intervention. The monitor's verification decision procedure is sound and complete and exploits the GPU… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 18 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…