Directed explicit-state model checking in the validation of communication protocols
Open Access
- 1 March 2004
- journal article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 5 (2-3) , 247-267
- https://doi.org/10.1007/s10009-002-0104-3
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Exploring Very Large State Spaces Using Genetic AlgorithmsPublished by Springer Nature ,2002
- Practical CTL * model checking: Should SPIN be extended?International Journal on Software Tools for Technology Transfer, 2000
- OBDDs in heuristic searchPublished by Springer Nature ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Protocol verification made simple: a tutorialComputer Networks and ISDN Systems, 1993
- Protocol verification using reachability analysis: the state space explosion problem and relief strategiesACM SIGCOMM Computer Communication Review, 1987
- Depth-first iterative-deepeningArtificial Intelligence, 1985
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- The stable marriage problemCommunications of the ACM, 1971
- A note on two problems in connexion with graphsNumerische Mathematik, 1959