CaT 2011 (open source) |
64 |
TcT 1.9.2 (open source) |
57 |
CaTCert 2012alpha (open source) (certifiable) |
47 |
TcT-certify 1.9.2 (open source) (certifiable) |
46 |
Actions
|
TcT 1.9.2 (open source) |
73 |
TcT-certify 1.9.2 (open source) (certifiable) |
32 |
Actions
|
Actions
|
HOT tc12d |
51 |
Wanda 2.0 |
48 |
THOR 1.01 |
41 |
Actions
|
AProVE TC 2012 |
112 |
Julia-12a 20120618a |
75 |
Actions
|
AProVE TC 2012 |
56 |
Julia-12a 20120618a |
41 |
Actions
|
AProVE TC 2012 |
108 |
polytool 2.0 |
104 |
pTNT 1.0.4 |
20 |
Actions
|
Actions
|
Actions
|
TcT 1.9.2 (open source) |
53 |
CaT 2011 (open source) |
32 |
TcT-certify 1.9.2 (open source) (certifiable) |
23 |
Actions
|
AProVE TC 2012 (closed source) |
102 |
TcT 1.9.2 (open source) |
92 |
TcT-certify 1.9.2 (open source) (certifiable) |
27 |
Actions
|
AProVE TC 2012 |
39 |
AProVE-CeTA TC 2012 (certifiable) |
32 |
TTT2Cert 2011a (certifiable) |
21 |
Actions
|
AProVE TC 2012 |
168 |
AProVE-CeTA TC 2012 (certifiable) |
151 |
TTT2Cert 2011a (certifiable) |
133 |
matchbox-cert 0.1.2 (certifiable) |
108 |
matchbox-nocert 0.6.0 |
103 |
Actions
|
AProVE TC 2012 |
7 |
VMTL 1.4 |
5 |
Actions
|
AProVE TC 2012 |
37 |
VMTL 1.4 |
29 |
Actions
|
AProVE TC 2012 |
28 |
muterm 5.08 |
27 |
Actions
|
AProVE TC 2012 |
58 |
AProVE-CeTA TC 2012 (certifiable) |
53 |
Actions
|
Actions
|
AProVE TC 2012 |
17 |
AProVE-CeTA TC 2012 (certifiable) |
15 |
TTT2Cert 2011a (certifiable) |
12 |
Actions
|
AProVE TC 2012 |
376 |
AProVE-CeTA TC 2012 (certifiable) |
307 |
TTT2Cert 2011a (certifiable) |
257 |
VMTL 1.4 |
168 |
Actions
| |