A Static Analyzer for Large Safety-Critical Software (2003)

by B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
Venue:In ACM PLDI