An Abstract Domain of Uninterpreted Functions
From MaRDI portal
Publication:2796038
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
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