Runtime Monitoring Language
A system agnostic domain specific language for runtime monitoring and verification
Follow me on
GitHub
Verification of IoT systems
Sensors and anomaly detection