What’s Decidable About Arrays?

Authors:

Top Cited Papers

Publisher website

1 January 2005

book chapter
Published by Springer Nature

p. 427-442
DOI:10.1007/11609773_28

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

CVC Lite: A New Implementation of the Cooperating Validity Checker
2004
Uniform Derivation of Decision Procedures by Superposition
2001
Temporal Verification of Reactive Systems
1995
Verification Decidability of Presburger Array Programs
Journal of the ACM, 1980