What’s Decidable About Arrays?

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/11609773_28 ◽

2005 ◽

pp. 427-442 ◽

Cited By ~ 116

Author(s):

Aaron R. Bradley ◽

Zohar Manna ◽

Henny B. Sipma

Download Full-text