The ASTRÉE analyzer (2005)

by P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
Venue:In ESOP: 14th European Symposium on Programming, LNCS