TY - GEN
T1 - A Retrospective Look at the Monitoring and Checking (MaC) Framework
AU - Kannan, Sampath
AU - Kim, Moonzoo
AU - Lee, Insup
AU - Sokolsky, Oleg
AU - Viswanathan, Mahesh
N1 - Publisher Copyright:
© 2019, Springer Nature Switzerland AG.
PY - 2019
Y1 - 2019
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85075762370&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85075762370&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-32079-9_1
DO - 10.1007/978-3-030-32079-9_1
M3 - Conference contribution
AN - SCOPUS:85075762370
SN - 9783030320782
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 14
BT - Runtime Verification - 19th International Conference, RV 2019, Proceedings
A2 - Finkbeiner, Bernd
A2 - Mariani, Leonardo
PB - Springer
T2 - 19th International Conference on Runtime Verification, RV 2019 held as part of the 3rd World Congress on Formal Methods, FM 2019
Y2 - 8 October 2019 through 11 October 2019
ER -