After several years of hard work, our software verifier Ultimate Automizer won the Overall Category at the SV-COMP 2016.

Daniel Dietsch and I received the trophy at ETAPS 2016. Many thanks to the other members of this year’s competition team, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski, and to all that contributed to Ultimate Automizer in the last years, Alexander Nutz, Alex Saukh, Chen Kefei, Christian Schilling, David Zschocke, Daniel Christiany, Daniel Tischner, Dirk Steinmetz, Evren Ermis, Fabian Reiter, Frank Schüssele, German Fordinal, Jan Hättig, Jan Mortensen, Jeffery Hsu, Jens Stimpfle, Jelena Barth, Jeremi Dzienian, Julian Jarecki, Jochen Hoenicke, Jürgen Christ, Markus Lindenmann, Markus Pomrehn, Markus Zeiger, Numair Mansur, Stefan Wissert, Thomas Lang, Vincent Langenfeld, and Xiaolin Wu.