Inferring Network Invariants Automatically
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 483-497
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Symbolic Compositional Verification by Learning Assumptions2005
- Automated Assume-Guarantee Reasoning for Simulation Conformance2005
- Environment Abstraction for Parameterized VerificationLecture Notes in Computer Science, 2005
- Verification by Network Decomposition2004
- Network Invariants in Action*2002
- Control and data abstraction: the cornerstones of practical formal verificationInternational Journal on Software Tools for Technology Transfer, 2000
- Transitive Closures of Regular Relations for Verifying Infinite-State Systems2000
- Reducing Model Checking of the Many to the Few2000
- Nebular Gas Drag and Planetary Accretion II. Planet on an Eccentric OrbitIcarus, 1995
- Reasoning about rings1995