An Abstract Domain of Uninterpreted Functions

DOI10.1007/978-3-662-49122-5_4zbMath1475.68086OpenAlexW2293781769WikidataQ57664994 ScholiaQ57664994MaRDI QIDQ2796038

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

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

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

Related Items

The map equality domain, Relational string abstract domains, A new abstraction framework for affine transformers

Uses Software

• LLVM
• SeaHorn