A new acceleration-based combination framework for array properties

DOI10.1007/978-3-319-24246-0_11MaRDI QIDQ2964461zbMATH OpenOpenAlexFDO

Authors Francesco Alberti, Silvio Ghilardi, Natasha Sharygina

Publication date 27 February 2017

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24246-0_11

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Decidability of theories and sets of sentences (03B25)

Recommendations

• Booster: an acceleration-based verification framework for array programs
• Definability of accelerated relations in a theory of arrays and its applications
• Towards SMT Model Checking of Array-Based Systems
• Decision procedures for flat array properties
• Artificial Intelligence and Symbolic Computation

Cites work

• scientific article; zbMATH DE number 1954380 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• A Logic of Singly Indexed Arrays
• Booster: an acceleration-based verification framework for array programs
• Decision procedures for flat array properties
• Definability of accelerated relations in a theory of arrays and its applications
• Fast acceleration of ultimately periodic relations
• Iterating Octagons
• LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
• MCMT: a model checker modulo theories
• Mathematical logic.
• On iterating linear transformations over recognizable sets of integers
• Presburger arithmetic with unary predicates is Π₁¹ complete
• Verification, Model Checking, and Abstract Interpretation

Cited in

(2)

• Definability of accelerated relations in a theory of arrays and its applications
• Booster: an acceleration-based verification framework for array programs

Describes a project that uses

Uses Software

• Mcmt
• FLATA

This page was built for publication: A new acceleration-based combination framework for array properties

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