Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code

Figure 4

Verification methodology with SSA.