Finding real bugs in big programs with incorrectness logic

Incorrectness Logic (IL) has recently been advanced as a logical theory for compositionally proving the presence of bugs—dual to Hoare Logic, which is used to compositionally prove their absence. Though IL was motivated in large part by the aim of providing a logical foundation for bug-catching prog...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 6; H. OOPSLA1; S. 1 - 27
Hauptverfasser:	Le, Quang Loc, Raad, Azalea, Villard, Jules, Berdine, Josh, Dreyer, Derek, O'Hearn, Peter W.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	29.04.2022
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!