Symbolic transition graph with assignment
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Symbolic bisimulationsTheoretical Computer Science, 1995
- What if model checking must be truly symbolicPublished by Springer Nature ,1995
- Testing-Based Abstractions for Value-Passing SystemsPublished by Springer Nature ,1994
- Computer Aided VerificationPublished by Springer Nature ,1992
- A proof system for communicating processes with value-passingFormal Aspects of Computing, 1991
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955