Munta: A Verified Model Checker for Timed Automata

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361545FDO

Authors Simon Wimmer

Publication date 22 May 2025

Verified model checking of timed automata

Cited in

(1)

Muntac: A Verified Certificate Checker for Timed Automata

This page was built for software: Munta: A Verified Model Checker for Timed Automata

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Munta:_A_Verified_Model_Checker_for_Timed_Automata&oldid=105368189"