328 citations · 332 across the 3 of their papers we have counts for
1 paper · 1 filter
Bruno Blanchet, Patrick Cousot, Radhia Cousot +5
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs…