Scientific Programming / 2020 / Article / Fig 6

Research Article

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.

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.