|
Natto |
INF
|
Teppei Saito
|
|
pdf |
|
Hakusan |
TRS
|
Fuyuki Kawano, Nao Hirokawa, Hiroka Hondo, Kiraku Shintani
|
|
pdf |
|
crest |
LCTRS
|
Jonas Schöpf, Aart Middeldorp
|
|
pdf |
|
CeTA-Prover |
COM
SRS
TRS
|
René Thiemann
|
|
pdf |
|
CeTA |
COM
INF
SRS
TRS
|
Christina Kirk, René Thiemann
|
|
pdf |
|
CSI |
NFP
SRS
TRS
UNC
UNR
|
Aart Middeldorp, René Thiemann
|
|
pdf |
|
CO3 |
CTRS
INF
TRS
|
Naoki Nishida, Misaki Kojima
|
|
pdf |
|
CRaris |
LCTRS
|
Naoki Nishida, Misaki Kojima
|
|
pdf |
|
FORT-h |
COM
GCR
NFP
TRS
UNC
UNR
|
Aart Middeldorp
|
|
pdf |
|
FORTify |
COM
GCR
NFP
TRS
UNC
UNR
|
Aart Middeldorp
|
|
pdf |
|
AProVE |
TRS
|
Jan-Christoph Kassing,
Alwin Schüßler,
Tobias Sokolowski,
Jürgen Giesl
|
|
pdf |
|
CONFident
|
CSR
CTRS
SRS
TRS
|
Raúl Gutiérrez, Salvador Lucas
|
|
pdf |
|
infChecker |
INF
|
Raúl Gutiérrez, Salvador Lucas
|
|
pdf |
|
ACP |
COM
CTRS
NFP
SRS
TRS
UNC
UNR
|
Takahito Aoto
|
|
pdf |
|
AGCP |
GCR
|
Takahito Aoto
|
|
pdf |
|
nonreach+CeTA-Prover |
INF
|
Florian Meßner,
René Thieman
|
|
pdf |