Automaton-based array initialization analysis

DOI10.1007/978-3-642-28332-1_36MaRDI QIDQ2890215zbMATH OpenOpenAlexFDO

Authors Đurica Nikolić, Fausto Spoto

Publication date 8 June 2012

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28332-1_36

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Inferring complete initialization of arrays
• A framework for numeric analysis of array operations
• A parametric segmentation functor for fully automatic and scalable array content analysis
• Automatic Verification of Integer Array Programs
• Non-disjunctive Numerical Domain for Array Predicate Abstraction

Cited in

(2)

• A framework for numeric analysis of array operations
• Inferring complete initialization of arrays

This page was built for publication: Automaton-based array initialization analysis

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