Beyond Parameterized Verification
- 14 March 2002
- book chapter
- Published by Springer Nature
- p. 221-235
- https://doi.org/10.1007/3-540-46002-0_16
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- General decidability theorems for infinite-state systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Better is better than well: on efficient verification of infinite-state systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An Assertional Language for the Verification of Systems Parametric in Several DimensionsElectronic Notes in Theoretical Computer Science, 2001
- Parameterized Verification with Automatically Computed Inductive Assertions?Published by Springer Nature ,2001
- Abstracting WS1S Systems to Verify Parameterized NetworksPublished by Springer Nature ,2000
- Automatic Verification of Parameterized Cache Coherence ProtocolsPublished by Springer Nature ,2000
- Regular Model CheckingPublished by Springer Nature ,2000
- Model Checking in CLPPublished by Springer Nature ,1999
- Verifying networks of timed processesPublished by Springer Nature ,1998
- Symbolic model checking of infinite state systems using presburger arithmeticPublished by Springer Nature ,1997