Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code

Table 3

Comparison of transitions (in millions) in different paths (branches) of object code with and without SSA.