research
∙
08/06/2020
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
The proceedings consist of a keynote paper by Alberto followed by 6 invi...
share
research
∙
07/09/2019
Ultimate TreeAutomizer (CHC-COMP Tool Description)
We present Ultimate TreeAutomizer, a solver for satisfiability of sets o...
research
∙
01/07/2019
