Verified Certification of Reachability Checking for Timed Automata.

Simon Wimmer, Joshua von Mutius

Browse the full TACAS paper archive.