A decision procedure for an extensional theory of arrays

A Stump; C.W Barrett; D.L Dill; J Levitt

doi:10.1109/LICS.2001.932480

Back

Conference proceeding

A decision procedure for an extensional theory of arrays

A Stump, C.W Barrett, D.L Dill and J Levitt

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, pp.29-37

2001

DOI: 10.1109/LICS.2001.932480

View Online

Abstract

A decision procedure for a theory of arrays is of interest for applications in formal verification, program analysis and automated theorem proving. This paper presents a decision procedure for an extensional theory of arrays and proves it correct.

Application software

Design automation

Equations

Formal verification

Laboratories

Libraries

Logic arrays

Details

Title: Subtitle: A decision procedure for an extensional theory of arrays
Creators: A Stump - Stanford University
C.W Barrett - Stanford University
D.L Dill - Stanford University
J Levitt - Magma
Resource Type: Conference proceeding
Publication Details: Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, pp.29-37
Publisher: IEEE
DOI: 10.1109/LICS.2001.932480
ISSN: 1043-6871
eISSN: 2575-5528
Language: English
Date published: 2001
Academic Unit: Computer Science
Record Identifier: 9984259430702771

Metrics

18 Record Views

71 Times Cited - Web of Science