Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code

Figure 9

Comparison of time taken by theorem prover for patterns in abstracted object code and original object code of a pacemaker in LPC1768.