1,189 followers
@wicko3 @HerrDreyer @AzaleaRaad @alexandra8silva @PetarMax This sounds like the necessary precondition idea of Cousot-Cousot-Fahndrich-Logozzo. It seems theoretically fine, but I was always puzzled as to why one would want this notion (the paper makes som