A Conformance Testing Relation for Symbolic Timed Automata

DOI10.1007/978-3-642-15297-9_19zbMath1290.68085OpenAlexW2159011965MaRDI QIDQ3588100

Henrik C. Bohnenkamp, Julien Schmaltz, Sabrina von Styp

Publication date: 10 September 2010

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-15297-9_19

zbMATH Keywords

semanticssymbolic executionimplementation relationFO logicsreal-time conformance testing

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Uses Software

• JTorX
• Uppaal
• TorX
• STG

This page was built for publication: A Conformance Testing Relation for Symbolic Timed Automata