VeriMon: A Formally Verified Monitoring Tool
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Fulltext
Accepted author manuscript, 315 KB, PDF document
A runtime monitor observes a running system and checks whether the sequence of events the system generates satisfies a given specification. We describe the evolution of VeriMon: an expressive and efficient monitor that has been formally verified using the Isabelle proof assistant.
| Original language | English |
|---|---|
| Title of host publication | Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings |
| Editors | Helmut Seidl, Zhiming Liu, Corina S. Pasareanu |
| Publisher | Springer |
| Publication date | 2022 |
| Pages | 1-6 |
| ISBN (Print) | 9783031177149 |
| DOIs | |
| Publication status | Published - 2022 |
| Event | 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 - Tbilisi, Georgia Duration: 27 Sep 2022 → 29 Sep 2022 |
Conference
| Conference | 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 |
|---|---|
| Land | Georgia |
| By | Tbilisi |
| Periode | 27/09/2022 → 29/09/2022 |
| Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 13572 LNCS |
| ISSN | 0302-9743 |
Bibliographical note
Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
ID: 324686942