Parameterized Verification with Automatically Computed Inductive Assertions?
- 4 July 2001
- book chapter
- Published by Springer Nature
- p. 221-234
- https://doi.org/10.1007/3-540-44585-4_19
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Automatic Verification of Parameterized Cache Coherence ProtocolsPublished by Springer Nature ,2000
- Reducing Model Checking of the Many to the FewPublished by Springer Nature ,2000
- Handling Global Conditions in Parametrized System VerificationPublished by Springer Nature ,1999
- Verifying an infinite family of inductions simultaneously using data independence and FDRPublished by Springer Nature ,1999
- Symmetry and model checkingFormal Methods in System Design, 1996
- Exploiting symmetry in temporal logic model checkingFormal Methods in System Design, 1996
- Reasoning about ringsPublished by Association for Computing Machinery (ACM) ,1995
- Automatic verification of pipelined microprocessor controlPublished by Springer Nature ,1994
- Reasoning about systems with many processesJournal of the ACM, 1992
- Limits for automatic verification of finite-state concurrent systemsInformation Processing Letters, 1986