Parameterized Verification with Automatically Computed Inductive Assertions?
Authors:
- 4 July 2001
- book chapter
- Published by Springer Nature
- p. 221-234
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Automatic Verification of Parameterized Cache Coherence Protocols2000
- Reducing Model Checking of the Many to the Few2000
- Handling Global Conditions in Parametrized System Verification1999
- Verifying an infinite family of inductions simultaneously using data independence and FDR1999
- Symmetry and model checkingFormal Methods in System Design, 1996
- Exploiting symmetry in temporal logic model checkingFormal Methods in System Design, 1996
- Reasoning about rings1995
- Automatic verification of pipelined microprocessor control1994
- Reasoning about systems with many processesJournal of the ACM, 1992
- Limits for automatic verification of finite-state concurrent systemsInformation Processing Letters, 1986