Partial Incorrectness Logic - Theory and Practice of Static Analysis

This 15-minute conference talk explores Partial Incorrectness Logic, presented by Lena Verscht, Ānrán Wáng, and Benjamin Lucien Kaminski from RWTH Aachen University, Saarland University, and University College London. Examine the relationship between partial incorrectness logic and O'Hearn's incorrectness logic, analogous to the relationship between partial and total correctness in Hoare logic. Understand how partial incorrectness permits unreachability while partial correctness allows divergence, and explore the duality between these concepts through Dijkstra's predicate transformers. Discover various applications of partial incorrectness logic through examples presented by the researchers. The talk is part of the Theory and Practice of Static Analysis workshop (TPSA'25) sponsored by ACM SIGPLAN, scheduled for January 21, 2025.