Incorrectness Logic

Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
Abstract interpretation, Hoare logic, and incorrectness (or reverse Hoare) logic are powerful techniques for static analysis of …
Yuan Feng, Sanjiang Li
引用 DOI URL