A Retrospective Look at the Monitoring and Checking (MaC) Framework

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Formal Methods
Computer Engineering
Computer Sciences
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Kim, Moonzoo
Viswanathan, Mahesh
Contributor
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.

Advisor
Date of presentation
2019-10-01
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T23:02:36.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
The 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, 8-11 October 2019
Recommended citation
Collection