Verified model checking of timed automata
From MaRDI portal
Publication:2324206
DOI10.1007/978-3-319-89960-2_4zbMath1423.68294OpenAlexW2796561738MaRDI QIDQ2324206
Publication date: 16 September 2019
Full work available at URL: https://doi.org/10.1007/978-3-319-89960-2_4
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Automated Verification of Parallel Nested DFS ⋮ Verified Certification of Reachability Checking for Timed Automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Certifying emptiness of timed Büchi automata ⋮ From LCF to Isabelle/HOL ⋮ CoCon: a conference management system with formally verified document confidentiality ⋮ Efficient verified (UN)SAT certificate checking
Uses Software
This page was built for publication: Verified model checking of timed automata
