328 citations · 377 across the 10 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…