Confluence Competition

Participants (listed in order of registration)

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


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