Participants of the Competition
(This is not a ranking, the list is in alphabetic order. The jury member is formatted in bold/italic font face.)
-
BLAST 2.7.2
Pavel Shved, Mikhail Mandrykin, and Vadim Mutilin
Russian Academy of Sciences, Russia -
CBMC
Daniel Kröning and Michael Tautschnig
University of Oxford, UK -
CPAchecker
Stefan Löwe, Mikhail Mandrykin, and Philipp Wendler
University of Passau, Germany -
CPAlien
Petr Muller and Tomas Vojnar
Brno University of Technology, Czech Republic -
CSeq-Lazy
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
University of Southampton, UK -
CSeq-MU
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
University of Southampton, UK -
ESBMC 1.22
Jeremy Morse, Mikhail Ramalho, Lucas Cordeiro, Denis Nicole, and Bernd Fischer
University of Southampton, UK / Federal University of Amazonas, Brazil -
FrankenBit
Arie Gurfinkel and Anton Belov
SEI, USA / University College Dublin, Ireland -
LLBMC
Stephan Falke, Florian Merz, and Carsten Sinz
Karlsruhe Institute of Technology, Germany -
Predator
Kamil Dudka, Petr Peringer, and Tomas Vojnar
Brno University of Technology, Czech Republic -
Symbiotic 2
Jiri Slaby and Jan Strejcek
Masaryk University at Brno, Czech Republic -
Threader
Corneliu Popeea and Andrey Rybalchenko
TU Munich, Germany -
UFO
Aws Albarghouthi and Arie Gurfinkel
University of Toronto, Canada / SEI, USA -
Ultimate Automizer
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, and Andreas Podelski
University of Freiburg, Germany -
Ultimate Kojak
Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, and Andreas Podelski
University of Freiburg, Germany