The dogged pursuit of bug-free C programs
Patrick Baudin, François Bobot, David Bühler, Loïc Correnson, Florent Kirchner, Nikolaï Kosmatov, André Maroneze, Valentin Perrelle, Virgile Prévosto, Julien Signoles, Nicky Williams
Abstract
A panoramic view of a popular platform for C program analysis and verification.
Topics & Concepts
Computer scienceSoftware Testing and Debugging TechniquesParallel Computing and Optimization TechniquesAdvanced Malware Detection Techniques