Regular Model Checking Made Simple and Effcient*
Authors:
- 18 September 2002
- book chapter
- Published by Springer Nature
- p. 116-131
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A BDD-Based Model Checker for Recursive Programs2001
- On Word Rewriting Systems Having a Rational DerivationLecture Notes in Computer Science, 2000
- Regular Model Checking2000
- Handling Global Conditions in Parametrized System Verification1999
- On-the-fly analysis of systems with unbounded, lossy FIFO channelsLecture Notes in Computer Science, 1998
- Coordination Technology for Collaborative Applications1998
- Mosel: A flexible toolset for monadic second-order logic1997
- Symbolic verification with periodic sets1994
- On the regular structure of prefix rewritingTheoretical Computer Science, 1992
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992