Testing divergent transition systems

DOI10.1007/978-3-319-63121-9_17MaRDI QIDQ5217309zbMATH OpenOpenAlexFDO

Authors Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer

Publication date 24 February 2020

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

Full work available at URL https://research.utwente.nl/en/publications/testing-divergent-transition-systems(125daebb-d8f7-4104-91de-8099e5b33f74).html

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2013781
• On Conformance Testing for Timed Systems
• scientific article; zbMATH DE number 938070
• Model-based testing of probabilistic systems
• Observation equivalence as a testing equivalence

Cited in

(1)

• scientific article; zbMATH DE number 2013781 (Why is no real title available?)

This page was built for publication: Testing divergent transition systems

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