Why3: Shepherd your herd of provers F Bobot, JC Filliâtre, C Marché, A Paskevich | 262 | 2011 |

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 | 65 | 2008 |

The Alt-Ergo automated theorem prover, 2008 F Bobot, S Conchon, E Contejean, M Iguernelala, S Lescuyer, A Mebsout | 50 | 2013 |

Expressing polymorphic types in a many-sorted language F Bobot, A Paskevich International Symposium on Frontiers of Combining Systems, 87-102, 2011 | 43 | 2011 |

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 | 28 | 2015 |

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 | 27 | 2012 |

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 | 20 | 2013 |

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 | 18 | 2013 |

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 | 16 | 2008 |

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 | 15 | 2012 |

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 | 14 | 2011 |

Real behavior of floating point numbers B Marre, F Bobot, Z Chihani | 7 | 2017 |

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 | 7 | 2017 |

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 | 6 | 2013 |

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 | 4 | 2011 |

Centralizing equality reasoning in MCSAT F Bobot, S Graham-Lengrand, B Marre, G Bury | 3 | 2018 |

Size does matter: Two certified abstractions to disprove entailment in intuitionistic and classical separation logic C Hurlin, F Bobot, A Summers | 3 | 2009 |

Expressing Polymorphic Types in a Many-Sorted Language, 2011. Preliminary report F Bobot, A Paskevich | 3 | |