Participants of the Competition
(This is not a ranking, the list is in alphabetic order. The jury member is formatted in bold font face.)
-
AProVE
Thomas Ströder, Cornelius Aschermann, Florian Frohn, Jera Hensel, and Jürgen Giesl
RWTH Aachen, Germany -
Beagle
Dexi Wang, Chao Zhang, Guang Chen, You Peng, Fei He, Ming Gu, and Jiaguang Sun
Tsinghua University, China -
BLAST 2.7.3
Pavel Shved, Mikhail Mandrykin, and Vadim Mutilin
ISP RAS, Russia -
Cascade
Wei Wang and Clark Barrett
New York University, USA -
CBMC
Daniel Kröning and Michael Tautschnig
University of Oxford, UK; Queen Mary University of London, UK -
CPAchecker
Matthias Dangl, Stefan Löwe, and Philipp Wendler
University of Passau, Germany -
CPArec
Yu-Fang Chen, Ming-Hsien Tsai, Chiao Hsieh, Bow-Yaw Wang, and Farn Wang
Academia Sinica, Taiwan -
ESBMC 1.24.1
Jeremy Morse, Hussama Ibrahim, Lucas Cordeiro, Denis Nicole, and Bernd Fischer
University of Bristol, UK -
FOREST
Pablo González De Aledo and Pablo Sanchez
University of Cantabria, Spain -
Forester
Lukas Holik, Martin Hruska, Ondrej Lengal, Adam Rogalewicz, Jiri Simacek, and Tomas Vojnar
Brno University of Technology, Czech Republic -
FuncTion
Caterina Urban
ENS Paris, France -
HIPTNT+
Wei-Ngan Chin, Ton-Chanh Le, Quang Loc Le, Andreea Costea, Quang-Trung Ta, Hong-Long Pham, and Zhuohong Cai
NUS, Singapore -
Lazy-CSeq
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
University of Southampton, UK -
Map2Check
Herbert O. Rocha, Raimundo Barreto, and Lucas Cordeiro
Federal University of Amazonas, Brazil -
MU-CSeq
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
Stellenbosch University, South Africa -
Perentie
Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, and Nathan Smyth
NICTA Sydney, Australia -
Predator
Petr Muller, Petr Peringer, and Tomáš Vojnar
Brno University of Technology, Czech Republic -
SeaHorn
Temesghen Kahsai, Arie Gurfinkel, and Jorge A. Navas
SEI, USA -
SMACK+Corral
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, and Zvonimir Rakamaric
University of Utah, USA; IMDEA Software Institute, USA; Microsoft Research, USA -
Ultimate Automizer
Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, and Andreas Podelski
University of Freiburg, Germany -
Ultimate Kojak
Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, and Andreas Podelski
University of Freiburg, Germany -
Unbounded Lazy-CSeq
Truc Nguyen Lam, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
University of Southampton, UK