CaT 2011 (open source) |
68 |
TCT 1.8.02 (open source) |
66 |
matchbox-poly 1.0.3 (open source) |
48 |
Actions
|
TCT 1.8.02 (open source) |
85 |
Actions
|
Actions
|
Wanda 1.4 |
36 |
THOR 2011 |
31 |
Actions
|
AProVE 2011-0.1 |
63 |
Julia-11a 2011-05-25b |
58 |
Actions
|
AProVE 2011-0.1 |
40 |
Julia-11a 2011-05-25b |
33 |
Actions
|
AProVE 2011-0.1 |
105 |
polytool 2.0 |
99 |
pTNT 1.0.4 |
22 |
Actions
|
Actions
|
Actions
|
TCT 1.8.02 (open source) |
69 |
TCT 1.8.03 (open source) |
45 |
CaT 2011 (open source) |
40 |
Actions
|
AProVE 2011-0.1 (closed source) |
81 |
TCT 1.8.02 (open source) |
75 |
TCT 1.8.03 (open source) |
52 |
Actions
|
AProVE 2011-0.1 |
26 |
TTT2 2011 |
24 |
TTT2 2011 fixed |
20 |
Actions
|
TTT2Cert 2011 (certifiable) |
23 |
AProVE-CeTA 2011-0.1 (certifiable) |
21 |
Actions
|
AProVE 2011-0.1 |
159 |
TTT2 2011 |
146 |
Actions
|
TTT2Cert 2011 (certifiable) |
127 |
AProVE-CeTA 2011-0.1 (certifiable) |
121 |
AProVE-A3PAT 2011-0.1 (certifiable) |
40 |
CeTA 1.19 |
100 % |
cime3verifier 2010_8-2pl1_cpf_2_1 |
7 % |
Actions
|
AProVE 2011-0.1 |
7 |
VMTL 1.4 |
5 |
Actions
|
AProVE 2011-0.1 |
32 |
VMTL 1.4 |
26 |
Actions
|
AProVE 2011-0.1 |
29 |
muterm 5.08 |
28 |
Actions
|
Actions
|
Actions
|
AProVE 2011-0.1 |
16 |
TTT2 2011 |
16 |
TTT2 2011 fixed |
9 |
Actions
|
AProVE-CeTA 2011-0.1 (certifiable) |
13 |
TTT2Cert 2011 (certifiable) |
9 |
Actions
|
AProVE 2011-0.1 |
347 |
TTT2 2011 |
273 |
VMTL 1.4 |
158 |
Actions
|
AProVE-CeTA 2011-0.1 (certifiable) |
279 |
TTT2Cert 2011 (certifiable) |
251 |
AProVE-A3PAT 2011-0.1 (certifiable) |
156 |
AProVE-A3PAT 2011-0.2 (certifiable) |
156 |
CeTA 1.19 |
97 % |
cime3verifier 2010_8-2pl1_cpf_2_1 |
24 % |
Actions
|