Email Gateway (May 23 2025 at 13:31): Email Gateway (May 23 2025 at 13:31):From: Peter <cl-isabelle-users@lists.cam.ac.uk>
I'm happy to announce a new contribution:
Munta: A Verified Model Checker for Timed Automata
Simon Wimmer
Munta is a verified model checker for timed automata. It has been
described in detail in a PhD thesis [3] and conference publications [4,
2]. This entry supersedes earlier versions of Munta hosted on GitHub.
https://www.isa-afp.org/entries/Munta_Model_Checker.html
Enjoy!
--
Peter
[2] S. Wimmer. Munta: A verified model checker for timed automata. In É.
André and
M. Stoelinga, editors, Formal Modeling and Analysis of Timed Systems -
17th International
Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29,
2019, Proceedings,
volume 11750 of Lecture Notes in Computer Science, pages 236–243.
Springer, 2019.
[3] S. Wimmer. Trustworthy Verification of Realtime Systems. PhD thesis,
Technical University
of Munich, Germany, 2020.
[4] S. Wimmer and P. Lammich. Verified model checking of timed automata.
In TACAS (1),
volume 10805 of Lecture Notes in Computer Science, pages 61–78.
Springer, 2018.
Last updated: May 30 2025 at 04:27 UTC