Departmental Papers (CIS)

Date of this Version

10-2019

Document Type

Conference Paper

Comments

The 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, 8-11 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)

Share

COinS
 

Date Posted:04 November 2019

This document has been peer reviewed.