A Retrospective Look At The Monitoring And Checking (Mac) Framework
RUNTIME VERIFICATION, RV 2019(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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络