Knowledge-driven Stream Monitor Synthesis
DynaMo is a synthesis method for stream monitors that bridges the gap between system-level properties and monitor specifications by leveraging formalized knowledge and it is shown how to guarantee soundness of all monitors derived this way.
Åsmund Aqissiaq, A. Kløvstad, Riccardo Sieve et al.
· 0 citations