Environment Abstraction for Parameterized Verification
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 126-141
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Model checking guarded protocols2003
- Iterating Transducers in the Large2003
- Regular Model Checking Made Simple and Effcient*2002
- Parameterized Verification with Automatically Computed Inductive Assertions?2001
- Abstracting WS1S Systems to Verify Parameterized NetworksLecture Notes in Computer Science, 2000
- Automatic Verification of Parameterized Cache Coherence Protocols2000
- Regular Model Checking2000
- Symbolic and Quantitative Approaches to Reasoning and Uncertainty1993
- Reasoning about networks with many identical finite state processesInformation and Computation, 1989
- Limits for automatic verification of finite-state concurrent systemsInformation Processing Letters, 1986