research
∙
05/19/2023
Choose your Colour: Tree Interpolation for Quantified Formulas in SMT
We present a generic tree-interpolation algorithm in the SMT context wit...
share
research
∙
06/02/2021
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems
Various verification techniques for temporal properties transform tempor...
research
∙
07/09/2019
Ultimate TreeAutomizer (CHC-COMP Tool Description)
We present Ultimate TreeAutomizer, a solver for satisfiability of sets o...
research
∙
04/25/2019
Interpolation and the Array Property Fragment
Interpolation based software model checkers have been successfully emplo...
research
∙
01/07/2019
Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages
In theorem prover or SMT solver based verification, the program to be ve...
research
∙
04/19/2018