Multi-core Reachability for Timed Automata

DOI10.1007/978-3-642-33365-1_8zbMath1374.68277DBLPconf/formats/DalsgaardLLOP12OpenAlexW1635966657WikidataQ62047454 ScholiaQ62047454MaRDI QIDQ4649388

Andreas Engelbredt Dalsgaard, Jaco van de Pol, Mads Chr. Olesen, Alfons W. Laarman, Kim Guldstrand Larsen

Publication date: 21 November 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-33365-1_8

Mathematics Subject Classification ID

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

Uses Software

• Uppaal
• LTSmin
• opaal

This page was built for publication: Multi-core Reachability for Timed Automata