2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Yuan Feng, Sanjiang Li
Abstract interpretation, Hoare logic, and incorrectness (or reverse Hoare) logic are powerful techniques for static analysis of computer programs. All of them have been successfull…