Partial Incorrectness Logic

Lena Verscht, Ānrán Wáng, Benjamin Lucien Kaminski

Reasoning about program correctness has been a central topic in static analysis for many years, with Hoare logic (HL) playing an important role. The key notions in HL are partial a…