Interesting Properties of the Real-Time Conformance Relation tioco

DOI10.1007/11921240_22MaRDI QIDQ3525158zbMATH OpenOpenAlexFDO

Authors Moez Krichen, Stavros Tripakis

Publication date 11 September 2008

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

Full work available at URL https://doi.org/10.1007/11921240_22

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking Software
• On Conformance Testing for Timed Systems
• Conformance testing for real-time systems
• Conformance tests for real-time systems with timed automata specifications
• A conformance testing relation for symbolic timed automata

Cited in

(2)

• On Conformance Testing for Timed Systems
• A conformance testing relation for symbolic timed automata

This page was built for publication: Interesting Properties of the Real-Time Conformance Relation tioco

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525158)