Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
Authors:
- 2 April 2008
- book chapter
- Published by Springer Nature
- p. 33-47
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Local Proofs for Global Safety Properties2007
- Inferring Network Invariants Automatically2006
- Environment Abstraction for Parameterized VerificationLecture Notes in Computer Science, 2005
- Indexed Predicate Discovery for Unbounded System Verification2004
- Abstracting WS1S Systems to Verify Parameterized NetworksLecture Notes in Computer Science, 2000
- Automatic Verification of Parameterized Cache Coherence Protocols2000
- Handling Global Conditions in Parametrized System Verification1999
- Reasoning about systems with many processesJournal of the ACM, 1992
- Reasoning about networks with many identical finite state processesInformation and Computation, 1989
- Concurrent control with “readers” and “writers”Communications of the ACM, 1971