A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.

Jan Peleska

Browse the full ICTAC paper archive.