Confluence Competition

Participants (listed in order of registration)

toolcategories authors slides paper
Grackle-CSI TRS Liao Zhang, Qinxiang Cao
crest LCTRS Jonas Schöpf, Aart Middeldorp
Natto INF Teppei Saito
AProVE TRS Jan-Christoph Kassing, Tobias Sokolowski
Hakusan TRS Fuyuki Kawano, Nao Hirokawa, Hiroka Hondo, Kiraku Shintani
CONFident  CSR CTRS TRS Salvador Lucas, Raúl Gutiérrez, Miguel Vítores
infChecker INF Raúl Gutiérrez, Salvador Lucas
CeTA INF TRS Christina Kirk, René Thiemann  
ACP CTRS TRS Takahito Aoto
CO3 CTRS INF Naoki Nishida, Misaki Kojima
CRaris LCTRS Naoki Nishida, Misaki Kojima
FORT-h TRS Fabian Mitterwallner, Aart Middeldorp
CSI TRS Fabian Mitterwallner, Aart Middeldorp
FORTify TRS Fabian Mitterwallner, Aart Middeldorp
SOL CSR Makoto Hamana


categorytools
CSR CONFident   SOL  
CTRS ACP   CO3   CONFident  
INF CO3   infChecker   Natto+CeTA  
LCTRS CRaris   crest  
TRS ACP   ACP+CeTA   AProVE   CONFident   CSI   CSI+CeTA   FORT-h   FORT-h+FORTify   Grackle-CSI   Hakusan   Hakusan+CeTA