Statistics
Publications
11
Citations
738
H-Index
10
Active since
2002
Virgile Prévosto is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in engineering, computer science, and formal verification.
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 · 379 citations · Full text
ACSL: ANSI/ISO C Specification Language
Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché et al. · 2008 · 152 citations
The dogged pursuit of bug-free C programs
Patrick Baudin, François Bobot, David Bühler et al. · Communications of the ACM · 2021 · 58 citations · Full text
Pascal Cuoq, Julien Signoles, Patrick Baudin et al. · 2009 · 42 citations
High-level Programming Language, Engineering, Implementation Language +15
Time to clean your test objectives
Michaël Marcozzi, Sébastien Bardin, Nikolaï Kosmatov et al. · 2018 · 31 citations · Full text
Rows per page
1–5 of 11