Formal Methods for Incorrectness

Incorrectness 2024 with POPL 2024

About While bug-finding has long been an important part of industrial static analysis, sound logical theories for incorrectness reasoning were only recently developed. The introduction of Incorrectness Logic in 2019 highlighted the need for specialized formal methods capable of identifying true bugs and doing so more efficiently using under-approximation. In the ensuing years, incorrectness reasoning has become ...