A Fresh Look at Testing for Asynchronous Communication

DOI10.1007/11901914_28zbMath1161.68349OpenAlexW1541362609MaRDI QIDQ3522921

Madhavan Mukund, Puneet Bhateja, Paul Gastin

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11901914_28

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (3)

Determining asynchronous test equivalence for probabilistic processes ⋮ Timed implementation relations for the distributed test architecture ⋮ The complexity of asynchronous model based testing

This page was built for publication: A Fresh Look at Testing for Asynchronous Communication