An Abstract Domain of Uninterpreted Functions
Abstract elided by the publisher.
Related papers
- Decidable Synthesis of Programs with Uninterpreted Functions CAV 2020
- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions ESOP 2006
- Finite Instantiations in Equivalence Logic with Uninterpreted Functions CAV 2001
- euforia: Complete Software Model Checking with Uninterpreted Functions VMCAI 2019
- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions SAS 2004
- Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions CAV 1999
- BDD Based Procedures for a Theory of Equality with Uninterpreted Functions CAV 1998
- Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory CAV 1998