Detecting inconsistencies via universal reachability analysis

Abstract

Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumptions. Existing approaches to inconsistency detection have used intentionally unsound techniques aimed at bug-finding rather than verification. We describe an inconsistency detection… (More)
DOI: 10.1145/2338965.2336788

8 Figures and Tables

Topics

  • Presentations referencing similar topics