Model Checking Timed Automata with Priorities Using DBM Subtraction

DOI10.1007/11867340_10zbMath1141.68462OpenAlexW1914485921MaRDI QIDQ3511228

Alexandre David, John Håkansson, Paul Pettersson, Kim Guldstrand Larsen

Publication date: 8 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.4049

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Shrinking timed automata ⋮ Model Checking Bounded Prioritized Time Petri Nets

Uses Software

• Uppaal

This page was built for publication: Model Checking Timed Automata with Priorities Using DBM Subtraction