An abstract domain of uninterpreted functions

DOI10.1007/978-3-662-49122-5_4MaRDI QIDQ2796038zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Graeme Gange, Jorge Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Publication date 23 March 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-49122-5_4

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Static Analysis
• scientific article; zbMATH DE number 1948392
• scientific article; zbMATH DE number 1538024
• The octagon abstract domain
• The Undefined Domain: Precise Relational Information for Entities That Do Not Exist

Cited in

(12)

• The map equality domain
• Relational string abstract domains
• A new abstraction framework for affine transformers
• Generalizing simulation to abstract domains
• \textsf{TreeKs}: a functor to make numerical abstract domains scalable
• Summarized dimensions revisited
• Static Analysis
• Lifting numeric relational domains to algebraic data types
• Fast approximations of quantifier elimination
• Context-sensitive meta-constraint systems for explainable program analysis
• Dissecting widening: separating termination from information
• Memory-efficient fixpoint computation

Describes a project that uses

Uses Software

• SeaHorn
• LLVM

This page was built for publication: An abstract domain of uninterpreted functions

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