TCT 1.8.02 (open source) |
501 |
CaT 2011 (open source) |
365 |
matchbox-poly 1.0.3 (open source) |
206 |
Actions
|
TCT 1.8.02 (open source) |
763 |
CaT 2010 (open source) |
367 |
Actions
|
Actions
|
Wanda 1.4 |
120 |
THOR 2011 |
91 |
Actions
|
AProVE 2011-0.1 |
125 |
Julia-11a 2011-05-25b |
124 |
COSTA 14/7/2010-1 |
97 |
Actions
|
AProVE 2011-0.1 |
77 |
Julia-11a 2011-05-25b |
60 |
COSTA 14/7/2010-1 |
51 |
Actions
|
AProVE 2011-0.1 |
237 |
polytool 2.0 |
227 |
pTNT 1.0.4 |
55 |
Actions
|
Actions
|
Actions
|
Actions
|
TCT 1.8.03 (open source) |
382 |
CaT 2011 (open source) |
328 |
Actions
|
AProVE 2011-0.1 (closed source) |
604 |
TCT 1.8.03 (open source) |
435 |
CaT 2010 (open source) |
233 |
Actions
|
AProVE 2011-0.1 |
63 |
TTT2 2011 fixed |
49 |
matchbox-srs-rel-nocert 0.5.6 |
25 |
Actions
|
AProVE-CeTA 2011-0.1 (certifiable) |
55 |
TTT2Cert 2011 (certifiable) |
49 |
Actions
|
AProVE 2011-0.1 |
789 |
TTT2 2011 |
678 |
matchbox-srs-std-nocert 0.5.2 |
289 |
muterm 5.07 |
135 |
matchbox-srs-std-rfc 0.0.1 |
128 |
cime3finder 13jul201011h44 (certifiable) |
125 |
Actions
|
AProVE-CeTA 2011-0.1 (certifiable) |
636 |
TTT2Cert 2011 (certifiable) |
558 |
AProVE-A3PAT 2010-0.2 (certifiable) |
163 |
cime3finder 13jul201011h44 (certifiable) |
126 |
cime3beta 13jul201017h40 (certifiable) |
67 |
CeTA 1.19 |
98 % |
cime3verifier 2010_8-2pl1_cpf_2_1 |
8 % |
Actions
|
AProVE 2011-0.1 |
7 |
VMTL 1.4 |
5 |
Actions
|
muterm 5.07 |
99 |
AProVE 2011-0.1 |
98 |
VMTL 1.4 |
79 |
Actions
|
AProVE 2011-0.1 |
59 |
muterm 5.08 |
56 |
Actions
|
AProVE 2011-0.1 |
261 |
muterm 5.07 |
196 |
Actions
|
Actions
|
AProVE 2011-0.1 |
35 |
TTT2 2011 fixed |
24 |
Actions
|
AProVE-CeTA 2011-0.1 (certifiable) |
31 |
TTT2Cert 2011 (certifiable) |
24 |
Actions
|
AProVE 2011-0.1 |
1231 |
TTT2 2011 |
976 |
muterm 5.07 |
830 |
cime3finder 13jul201011h44 (certifiable) |
644 |
VMTL 1.4 |
629 |
Actions
|
AProVE-CeTA 2011-0.1 (certifiable) |
1032 |
TTT2Cert 2011 (certifiable) |
933 |
cime3finder 13jul201011h44 (certifiable) |
641 |
AProVE-A3PAT 2011-0.2 (certifiable) |
570 |
cime3beta 13jul201017h40 (certifiable) |
528 |
CeTA 1.19 |
85 % |
cime3verifier 2010_8-2pl1_cpf_2_1 |
38 % |
Actions
| | |