Project

General

Profile

Download (915 Bytes) Statistics
| Branch: | Tag: | Revision:
1
Result of the analysis by WP
2
----------------------------------------------------------
3
Axiomatics          Proved           Total   Success
4
Lemma              5                5         100%
5
lemma_inv_init_1_top                          1 
6
lemma_inv_init_2_top                          1 
7
lemma_inv_inv_top                             1 
8
lemma_inv_spec_top                            1 
9
lemma_missing                                 1 
10
----------------------------------------------------------
11
Functions           Proved           Total   Success
12
Sofar_reset        4                4         100%
13
Sofar_step         14               14        100%
14
Age_reset          4                4         100%
15
Age_step           16               16        100%
16
top_reset          14               14        100%
17
top_step           45               47        95.7%
18
----------------------------------------------------------
(3-3/3)