On-the-fly Verification of Finite Transition Systems
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An implementation of an efficient algorithm for bisimulation equivalenceScience of Computer Programming, 1990
- CCS expressions, finite state processes, and three problems of equivalenceInformation and Computation, 1990
- Automated Protocol Validation in Argos: Assertion Proving and Scatter SearchingIEEE Transactions on Software Engineering, 1987
- An introduction to FIFO nets— monogeneous nets: A subclass of FIFO netsTheoretical Computer Science, 1985
- Tracing ProtocolsAT&T Technical Journal, 1985