Research Article
Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code
Algorithm 1
Procedure for Static Stuttering Abstraction.
(1) | procedure | (2) | | (3) | | (4) | | (5) | | (6) | | (7) | | (8) | whiledo | (9) | | (10) | | (11) | | (12) | | (13) | | (14) | | (15) | | (16) | | (17) | whiledo | (18) | | (19) | | (20) | | (21) | | (22) | | (23) | | (24) | | (25) | | (26) | | (27) | | (28) | | (29) | | (30) | | (31) | | (32) | | (33) | | (34) | | (35) | | (36) | | (37) | | (38) | | (39) | | (40) | | (41) | | (42) | End While | (43) | | (44) | End While | (45) | | (46) | return |
|