Runtime Monitoring Language
A system agnostic domain specific language for runtime monitoring and verification
Follow me on
GitHub
Downloads
Compiler
Monitor interpreter
Instrumentation
Running examples