The dogged pursuit of bug-free C programs: the Frama-C software analysis platform.
Patrick BaudinFrançois BobotDavid BühlerLoïc CorrensonFlorent KirchnerNikolai KosmatovAndré MaronezeValentin PerrelleVirgile PrevostoJulien SignolesNicky WilliamsPublished in: Commun. ACM (2021)