Efficient model checking of properties of a distributed application: a multimedia case study
- 26 April 2001
- journal article
- research article
- Published by Wiley in Software Testing, Verification and Reliability
- Vol. 12 (1) , 3-21
- https://doi.org/10.1002/stvr.222
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Selective Mu-Calculus and Formula-Based Equivalence of Transition SystemsJournal of Computer and System Sciences, 1999
- CADP a protocol validation and verification toolboxLecture Notes in Computer Science, 1996
- Partial-Order Methods for the Verification of Concurrent SystemsPublished by Springer Nature ,1996
- Network evolution and multimedia communicationIEEE MultiMedia, 1995
- Compositional semantics of Esterel and verification by compositional reductionsPublished by Springer Nature ,1994
- Formula-dependent equivalence for compositional CTL model checkingPublished by Springer Nature ,1994
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- Client requirements for real-time communication servicesIEEE Communications Magazine, 1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Results on the propositional μ-calculusTheoretical Computer Science, 1983