We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 1304.3596 can endorse.

Formal Verification of a C Value Analysis Based on Abstract Interpretation

Sandrine Blazy, Vincent Laporte, André Maroneze and David Pichardie are not registered as owners of this paper. (why?)