Muntac: A Verified Certificate Checker for Timed Automata (Q7361901)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Munta_Certificate_Checker
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Muntac: A Verified Certificate Checker for Timed Automata |
AFP entry Munta_Certificate_Checker |
Statements
12 October 2025
0 references
Simon Wimmer
0 references
Muntac: A Verified Certificate Checker for Timed Automata (English)
0 references
Munta is a verified model checker for timed automata. This entry presents Muntac, an extension of Munta that can check certificates for Büchi and reachability properties generated by other model checkers. This work has been described in detail in a PhD thesis [2] and conference publications [3,4]. This entry supersedes earlier versions of Muntac hosted on GitHub.
0 references
