François Bobot

Statistics

Publications

Citations

353

H-Index

Active since

2008

Affiliations

Laboratoire d'Intégration des Systèmes et des Technologies(Current)

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Laboratoire de Recherche en Informatique

Université Paris-Sud

François Bobot is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in formal verification, formal methods, and computer science.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware VerificationBlockchain

Publications per year

2008–2021

Publications

A.: Why3: Shepherd your herd of provers

François Bobot, Jean-Christophe Filliâtre, Claude Marché et al. · 2011 · 185 citations · Full text

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

Popular Platform, Program Checking, Engineering +20

Let’s verify this with Why3

François Bobot, Jean-Christophe Filliâtre, Claude Marché et al. · International Journal on Software Tools for Technology Transfer · 2014 · 49 citations · Full text

Implementing polymorphism in SMT solvers

François Bobot, Sylvain Conchon, Évelyne Contejean et al. · 2008 · 38 citations

Mathematical Programming, Engineering, Generic Programming +13

Deductive Proof of Ethereum Smart Contracts Using Why3

Zeinab Nehaï, François Bobot · arXiv (Cornell University) · 2019 · 12 citations · Full text

Engineering, Verification, Smart Contracts +22

1–5 of 6