A Logic of Singly Indexed Arrays

DOI10.1007/978-3-540-89439-1_39MaRDI QIDQ5505581zbMATH OpenOpenAlexFDO

Authors Peter Habermehl, Radu Iosif, Tomáš Vojnar

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89439-1_39

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• What Else Is Decidable about Integer Arrays?
• Schemata of formulæ in the theory of arrays
• Verification, Model Checking, and Abstract Interpretation
• Decision procedures for flat array properties
• Array theory of bounded elements and its applications

Cited in

(8)

• Array theory of bounded elements and its applications
• Schemata of formulæ in the theory of arrays
• Decision procedures for flat array properties
• A new acceleration-based combination framework for array properties
• Iterating Octagons
• Array Folds Logic
• What Else Is Decidable about Integer Arrays?
• Abstraction refinement and antichains for trace inclusion of infinite state systems

This page was built for publication: A Logic of Singly Indexed Arrays

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505581)