VeriMon: A Formally Verified Monitoring Tool
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Dokumenter
- Fulltext
Accepteret manuskript, 315 KB, PDF-dokument
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.
| Originalsprog | Engelsk |
|---|---|
| Titel | Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings |
| Redaktører | Helmut Seidl, Zhiming Liu, Corina S. Pasareanu |
| Forlag | Springer |
| Publikationsdato | 2022 |
| Sider | 1-6 |
| ISBN (Trykt) | 9783031177149 |
| DOI | |
| Status | Udgivet - 2022 |
| Begivenhed | 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 - Tbilisi, Georgien Varighed: 27 sep. 2022 → 29 sep. 2022 |
Konference
| Konference | 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 |
|---|---|
| Land | Georgien |
| By | Tbilisi |
| Periode | 27/09/2022 → 29/09/2022 |
| Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Vol/bind | 13572 LNCS |
| ISSN | 0302-9743 |
Bibliografisk note
Funding Information:
Acknowledgments. Research on VeriMon has been supported by the Swiss National Science Foundation grant “Big Data Monitoring” (167162), the US Air Force grant “Monitoring at Any Cost” (FA9550-17-1-0306), and a Novo Nordisk Foundation Start Package grant (NNF20OC0063462). The authors are listed in alphabetical order regardless of individual contributions or seniority.
Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
ID: 324686942