External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The dogged pursuit of bug-free C programs: the Frama-C software analysis platform

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]

Authors

Patrick Baudin

This author has not been identified. Look up 'Patrick Baudin' in Google

François Bobot

This author has not been identified. Look up 'François Bobot' in Google

David Bühler

This author has not been identified. Look up 'David Bühler' in Google

Loïc Correnson

This author has not been identified. Look up 'Loïc Correnson' in Google

Florent Kirchner

This author has not been identified. Look up 'Florent Kirchner' in Google

Nikolai Kosmatov

This author has not been identified. Look up 'Nikolai Kosmatov' in Google

André Maroneze

This author has not been identified. Look up 'André Maroneze' in Google

Valentin Perrelle

This author has not been identified. Look up 'Valentin Perrelle' in Google

Virgile Prevosto

This author has not been identified. Look up 'Virgile Prevosto' in Google

Julien Signoles

This author has not been identified. Look up 'Julien Signoles' in Google

Nicky Williams

This author has not been identified. Look up 'Nicky Williams' in Google
runs on