A Fresh Look at Testing for Asynchronous Communication
From MaRDI portal
Publication:3522921
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
Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items
Determining asynchronous test equivalence for probabilistic processes, Timed implementation relations for the distributed test architecture, The complexity of asynchronous model based testing