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