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]
@article{BaudinBBCKKMPPS21,
title = {The dogged pursuit of bug-free C programs: the Frama-C software analysis platform},
author = {Patrick Baudin and François Bobot and David Bühler and Loïc Correnson and Florent Kirchner and Nikolai Kosmatov and André Maroneze and Valentin Perrelle and Virgile Prevosto and Julien Signoles and Nicky Williams},
year = {2021},
doi = {10.1145/3470569},
url = {https://doi.org/10.1145/3470569},
researchr = {https://researchr.org/publication/BaudinBBCKKMPPS21},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {64},
number = {8},
pages = {56-68},
}