Date of this Version
Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, and Mahesh Viswanathan, "A Retrospective Look at the Monitoring and Checking (MaC) Framework", The 19th International Conference on Runtime Verification (RV 2019) . October 2019.
The Monitoring and Checking (MaC) project gave rise to a framework for runtime monitoring with respect to formally specified properties, which later came to be known as runtime verification. The project also built a pioneering runtime verification tool, Java-MaC, that was an instantiation of the approach to check properties of Java programs. In this retrospective, we discuss decisions made in the design of the framework and summarize lessons learned in the course of the project.
CPS Formal Methods
The 19th International Conference on Runtime Verification (RV 2019)
Date Posted:04 November 2019
This document has been peer reviewed.