Bounded-memory algorithms for verification on-the-fly
- 1 January 1992
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 192-202
- https://doi.org/10.1007/3-540-55179-4_19
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A partial approach to model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Minimal model generationPublished by American Mathematical Society (AMS) ,1991
- Development of Veda, a prototyping tool for distributed algorithmsIEEE Transactions on Software Engineering, 1988
- Automated Protocol Validation in Argos: Assertion Proving and Scatter SearchingIEEE Transactions on Software Engineering, 1987
- Avoiding the state explosion problem in temporal logic model checkingPublished by Association for Computing Machinery (ACM) ,1987
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trendsLecture Notes in Computer Science, 1986
- An introduction to FIFO nets— monogeneous nets: A subclass of FIFO netsTheoretical Computer Science, 1985
- Tracing ProtocolsAT&T Technical Journal, 1985
- Finite state description of communication protocolsComputer Networks (1976), 1978
- General Technique for Communications Protocol ValidationIBM Journal of Research and Development, 1978