Muntac: A Verified Certificate Checker for Timed Automata

MaRDI QIDQ7361901FDO

Authors Simon Wimmer

Publication date 12 October 2025

Cites work

• Certifying emptiness of timed Büchi automata
• Checking timed Büchi automata emptiness using LU-abstractions
• Verified certification of reachability checking for timed automata
• Verified model checking of timed automata

This page was built for software: Muntac: A Verified Certificate Checker for Timed Automata