Research Article
Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code
Figure 8
Comparison of some theorem prover statistics for verifying the mergers in abstracted object code versus original object code of a pacemaker in LPC1768.
(a) |
(b) |
(c) |