Academic Journal
VeriMon:A Formally Verified Monitoring Tool
| العنوان: | VeriMon:A Formally Verified Monitoring Tool |
|---|---|
| المؤلفون: | Basin, David, Dardinier, Thibault, Hauser, Nico, Heimes, Lukas, Huerta y Munive, Jonathan Julián, Kaletsch, Nicolas, Krstić, Srđan, Marsicano, Emanuele, Raszyk, Martin, Schneider, Joshua, Tirore, Dawit Legesse, Traytel, Dmitriy, Zingg, Sheila |
| المساهمون: | Seidl, Helmut, Liu, Zhiming, Pasareanu, Corina S. |
| المصدر: | Basin , D , Dardinier , T , Hauser , N , Heimes , L , Huerta y Munive , J J , Kaletsch , N , Krstić , S , Marsicano , E , Raszyk , M , Schneider , J , Tirore , D L , Traytel , D & Zingg , S 2022 , VeriMon : A Formally Verified Monitoring Tool . in H Seidl , Z Liu & C S Pasareanu (eds) , Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings . Springer , Lecture Notes in Computer Science (including subseries .... |
| بيانات النشر: | Springer |
| سنة النشر: | 2022 |
| المجموعة: | University of Copenhagen: Research / Forskning ved Københavns Universitet |
| الوصف: | 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. |
| نوع الوثيقة: | article in journal/newspaper |
| وصف الملف: | application/pdf |
| اللغة: | English |
| DOI: | 10.1007/978-3-031-17715-6_1 |
| الاتاحة: | https://curis.ku.dk/portal/da/publications/verimon(c9d1d1a8-e016-4a72-9a07-4914bcc9c003).html https://doi.org/10.1007/978-3-031-17715-6_1 https://curis.ku.dk/ws/files/380421159/VeriMon_A_Formally_Verified_Monitoring_Tool_2_6.pdf |
| Rights: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.A4DC2132 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1007/978-3-031-17715-6_1 |
|---|