Formal Verification of a C Value Analysis Based on Abstract Interpretation.

Sandrine Blazy, Vincent Laporte, Andr Maroneze, David Pichardie

Browse the full SAS paper archive.