Verified Rust Monitors for Lola Specifications.

Bernd Finkbeiner Stefan Oswald Noemi Passing Maximilian Schwenger

Published in: RV (2020)

Keyphrases

high level
delay insensitive
formal specification
specification language
database
databases
neural network
e learning
special case
finite state machines
written in natural language