Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code

Figure 6

Induced bug in a nonstuttering transition. (a) Behavior of correct code. (b) Behavior of buggy code.

(a)

(b)