CaT 2011 (open source) |
60 |
TcT 2.0.1 (open source) |
57 |
CaTCert 2012alpha (open source) (certifiable) |
45 |
TcT-certify 1.9.2 (open source) (certifiable) |
44 |
Actions
|
Wanda 2.1e |
40 |
THOR 1.01 |
31 |
Actions
|
AProVE TC 2013 |
86 |
Julia13 2013-06-07a |
36 |
Actions
|
AProVE TC 2013 |
43 |
Julia13 2013-06-07a |
18 |
Actions
|
AProVE TC 2013 |
71 |
polytool 2.0 |
67 |
pTNT 1.0.4 |
21 |
Actions
|
TcT 2.0.1 (open source) |
45 |
CaT 2011 (open source) |
27 |
TcT-certify 1.9.2 (open source) (certifiable) |
18 |
Actions
|
AProVE TC 2013 (closed source) |
74 |
TcT 2.0.1 (open source) |
70 |
TcT-certify 1.9.2 (open source) (certifiable) |
20 |
Actions
|
AProVE TC 2013 |
23 |
AProVE-CeTA TC 2013 (certifiable) |
18 |
TTT2 2013_1 |
16 |
TTT2Cert 2013_1 (certifiable) |
15 |
Actions
|
AProVE TC 2013 |
115 |
TTT2 2013_1 |
107 |
AProVE-CeTA TC 2013 (certifiable) |
95 |
TTT2Cert 2013_1 (certifiable) |
85 |
TTT2Cert 2013_2 (certifiable) |
84 |
Actions
|
AProVE TC 2013 |
25 |
muterm 5.08 |
23 |
Actions
|
AProVE TC 2013 |
12 |
AProVE-CeTA TC 2013 (certifiable) |
11 |
TTT2Cert 2013_1 (certifiable) |
8 |
TTT2 2013_1 |
8 |
Actions
|
AProVE TC 2013 |
268 |
AProVE-CeTA TC 2013 (certifiable) |
225 |
TTT2 2013_1 |
201 |
TTT2Cert 2013_1 (certifiable) |
192 |
TTT2Cert 2013_2 (certifiable) |
187 |
Actions
|