74 citations · 376 across the 30 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…