Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution)

Published in Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2018), 2018

Recommended citation:

This is joint work with Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, and Andreas Podelski The published paper is available here.