François Bobot
François Bobot
Unknown affiliation
Verified email at bobot.eu
TitleCited byYear
Why3: Shepherd your herd of provers
F Bobot, JC Filliâtre, C Marché, A Paskevich
2622011
Implementing polymorphism in SMT solvers
F Bobot, S Conchon, E Contejean, S Lescuyer
Proceedings of the Joint Workshops of the 6th International Workshop on …, 2008
652008
The Alt-Ergo automated theorem prover, 2008
F Bobot, S Conchon, E Contejean, M Iguernelala, S Lescuyer, A Mebsout
502013
Expressing polymorphic types in a many-sorted language
F Bobot, A Paskevich
International Symposium on Frontiers of Combining Systems, 87-102, 2011
432011
Let’s verify this with Why3
F Bobot, JC Filliâtre, C Marché, A Paskevich
International Journal on Software Tools for Technology Transfer 17 (6), 709-727, 2015
282015
A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic
F Bobot, S Conchon, E Contejean, M Iguernelala, A Mahboubi, A Mebsout, ...
International Joint Conference on Automated Reasoning, 67-81, 2012
272012
Certified complexity (cerco)
RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...
International Workshop on Foundational and Practical Aspects of Resource …, 2013
202013
Preserving user proofs across specification changes
F Bobot, JC Filliâtre, C Marché, G Melquiond, A Paskevich
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
182013
The Alt-Ergo automated theorem prover
F Bobot, S Conchon, E Contejean, M Iguernelala, S Lescuyer, A Mebsout
URL: http://alt-ergo. lri. fr, 2008
162008
Separation predicates: a taste of separation logic in first-order logic
F Bobot, JC Filliâtre
International Conference on Formal Engineering Methods, 167-181, 2012
152012
The why3 platform
F Bobot, JC Filliâtre, C Marché, G Melquiond, A Paskevich
LRI, CNRS & Univ. Paris-Sud & INRIA Saclay, version 0.64 edition, 2011
142011
Real behavior of floating point numbers
B Marre, F Bobot, Z Chihani
72017
Sharpening constraint programming approaches for bit-vector theory
Z Chihani, B Marre, F Bobot, S Bardin
International Conference on AI and OR Techniques in Constraint Programming …, 2017
72017
The Why3 platform, version 0.72. LRI, CNRS & Univ. Paris-Sud & INRIA Saclay, version 0.May 2012
F Bobot, JC Filliâtre, C Marché, G Melquiond, A Paskevich
7
WP plug-in manual
P Baudin, F Bobot, L Correnson, Z Dargaye
Version 0.7 for Fluorine-20130601. CEA LIST, 2013
62013
The Why3 platform. LRI, CNRS & Univ. Paris-Sud & INRIA Saclay, version 0.February 2011
F Bobot, JC Filliâtre, C Marché, G Melquiond, A Paskevich
6
Logique de séparation et vérification déductive
F Bobot
Paris 11, 2011
42011
Centralizing equality reasoning in MCSAT
F Bobot, S Graham-Lengrand, B Marre, G Bury
32018
Size does matter: Two certified abstractions to disprove entailment in intuitionistic and classical separation logic
C Hurlin, F Bobot, A Summers
32009
Expressing Polymorphic Types in a Many-Sorted Language, 2011. Preliminary report
F Bobot, A Paskevich
3
The system can't perform the operation now. Try again later.
Articles 1–20