What’s Decidable About Arrays?
Top Cited Papers
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 427-442
- https://doi.org/10.1007/11609773_28
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- CVC Lite: A New Implementation of the Cooperating Validity CheckerPublished by Springer Nature ,2004
- Uniform Derivation of Decision Procedures by SuperpositionPublished by Springer Nature ,2001
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- Verification Decidability of Presburger Array ProgramsJournal of the ACM, 1980