Confluence Competition

Participants (listed in order of registration)

toolcategories authors slides paper
CSI CPF-TRS, NFP, SRS, TRS, UNC, UNR Fabian Mitterwallner, Aart Middeldorp pdf pdf
FORT-h COM, CPF-TRS, GCR, NFP, UNC, UNR Fabian Mitterwallner, Aart Middeldorp pdf pdf
FORTify COM, CPF-TRS, GCR, NFP, UNC, UNR Alexander Lochmann, Fabian Mitterwallner, Aart Middeldorp pdf pdf
CONFident CSR, CTRS, SRS, TRS Salvador Lucas, Miguel Vítores, Raúl Gutiérrez pdf pdf
infChecker INF Salvador Lucas, Raúl Gutiérrez, Miguel Vítores pdf pdf
Toma INF Teppei Saito, Nao Hirokawa pdf pdf
Hakusan SRS, TRS Kiraku Shintani, Nao Hirokawa pdf pdf
CoLL COM Kiraku Shintani pdf pdf
CeTA CPF-TRS Christina Kohl, René Thiemann, Aart Middeldorp pdf pdf
CO3 CTRS, INF Naoki Nishida, Misaki Kojima pdf pdf
ACP COM, CPF-TRS, CTRS, SRS, TRS, UNC Takahito Aoto pdf pdf
AGCP GCR Takahito Aoto pdf pdf
NaTT INF Akihisa Yamada pdf pdf


categorytools
COM ACP   CoLL   FORT-h   FORTify
CPF-TRS ACP+CeTA   CSI+CeTA   FORT-h+FORTify
CSR CONFident
CTRS ACP   CO3   CONFident
GCR AGCP   FORT-h   FORTify
INF CO3   infChecker   NaTT Toma
NFP CSI   FORT-h   FORTify
SRS ACP   Hakusan   CONFident   CSI
TRS ACP   Hakusan   CONFident   CSI
UNC ACP   CSI   FORT-h   FORTify
UNR CSI   FORT-h   FORTify