MOP: An Efficient and Generic Runtime Verification Framework

From FSL

Redirect page

Jump to: navigation, search

Publications on Monitoring-Oriented Programming

Retrieved from "http://fsl.cs.uiuc.edu/index.php/MOP:_An_Efficient_and_Generic_Runtime_Verification_Framework"