6
Publications
293
Citations
6
H-Index
2003
Active since
Affiliations
Patrick Baudin is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in system software, software analysis, and formal verification.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware DesignComputer Engineering
Publications per year
2003–2021
6
6
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
ACSL: ANSI C Specification Language
Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché et al. · 2008 · 18 citations
Specification Language, Formal Specification, Engineering +9
Caveat: a tool for software validation
Patrick Baudin, Anne Pacalet, J. Raguideau et al. · 2003 · 12 citations
Rows per page
1–5 of 6