RML: runtime monitoring language: a system-agnostic DSL for runtime verification.

Luca Franceschini

Published in: Programming (2019)

Keyphrases

programming language
neural network
monitoring system
model checking
real time
data mining
machine learning
query processing
decision support