Departmental Papers (CIS)
Date of this Version
10-2019
Document Type
Conference Paper
Recommended Citation
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.
Abstract
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.
Subject Area
CPS Formal Methods
Publication Source
The 19th International Conference on Runtime Verification (RV 2019)
Date Posted:04 November 2019
This document has been peer reviewed.
Comments
The 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, 8-11 October 2019