Statistics
Publications
11
Citations
757
H-Index
10
Active since
2002
Virgile Prévosto is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in computer science, computing, and formal methods.
Publications per year
2002–2021
11
11
Frama-C: A software analysis perspective
Florent Kirchner, Nikolaï Kosmatov, Virgile Prévosto et al. · Formal Aspects of Computing · 2015 · 388 citations · Full text
ACSL: ANSI/ISO C Specification Language
Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché et al. · 2008 · 153 citations
The dogged pursuit of bug-free C programs
Patrick Baudin, François Bobot, David Bühler et al. · Communications of the ACM · 2021 · 65 citations · Full text
Pascal Cuoq, Julien Signoles, Patrick Baudin et al. · 2009 · 42 citations
Time to clean your test objectives
Michaël Marcozzi, Sébastien Bardin, Nikolaï Kosmatov et al. · 2018 · 32 citations · Full text
1–5 of 11