Patrick Baudin, François Bobot, David Bühler, Loïc Correnson, Florent Kirchner, Nikolai Kosmatov, André Maroneze, Valentin Perrelle, Virgile Prevosto, Julien Signoles, Nicky Williams. The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. Communications of the ACM, 64(8):56-68, 2021. [doi]
Abstract is missing.