David Cachera

Publications

Citations

H-Index

2005

Active since

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

David Cachera is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in formal verification, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationLogic ProgrammingSoftware Analysis

Publications per year

2005–2014

Publications

Extracting a data flow analyser in constructive logic

David Cachera, Thomas Wiben Jensen, David Pichardie et al. · Theoretical Computer Science · 2005 · 61 citations · Full text

Applied Logic, Engineering, Data Flow +7

Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases

David Cachera, Thomas Wiben Jensen, Arnaud Jobin et al. · Science of Computer Programming · 2014 · 14 citations

Programming Language Theory, Polynomial Invariants, Engineering +12

Certified memory usage analysis

David Cachera, Thomas Wiben Jensen, David Pichardie et al. · 2005 · 13 citations

Rows per page

1–3 of 3