The ASTREE analyzer, (2005)

by P Cousot
Venue:Proc. 14th European Symposium on Programming (ESOP 2005), LNCS 3444, Springer,