Verified Rust Monitors for Lola Specifications.

Bernd Finkbeiner Stefan Oswald Noemi Passing Maximilian Schwenger

Published in: CoRR (2020)

Keyphrases

concurrent systems
high level
functional requirements
databases
specification language
delay insensitive
case study
probabilistic model
formal specification
data sets
decision trees
digital libraries
formal language