Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).

Raphal Monat, Abdelraouf Ouadjaout, Antoine Min

Browse the full TACAS paper archive.