3
Publications
144
Citations
3
H-Index
2003
Active since
Affiliations
Olivier Pons is an author at Conservatoire National des Arts et Métiers specializing in automated reasoning, formal methods, and engineering.
Top concepts
EngineeringFormal MethodsAutomated ReasoningVerificationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationFormal Specification
Publications per year
2003–2011
3
3
Gilles Barthe, Venanzio Capretta, Olivier Pons · Journal of Functional Programming · 2003 · 93 citations · Full text
A3PAT, an approach for certified automated termination proofs
Évelyne Contejean, Andrei Paskevich, Xavier Urbain et al. · 2010 · 23 citations
Rows per page
1–3 of 3