java文件监控 源码_监控java应用程序

We moved!

Check us out on the Runtime Verification Github!

More info on Runtime Verification can be found here.

JavaMOP is an instance of the MOP framework to the Java language.

Monitoring-Oriented Programming, abbreviated MOP, is a software development and analysis framework aiming at reducing the gap between formal specification and implementation by allowing them together to form a system. In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable software: monitors are automatically synthesized from specified properties and integrated into the original system to check its dynamic behaviors during execution. When a specification is violated or validated at runtime, user-defined actions will be triggered, which can be any code from information loggin