Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

19 résultats
Page :
triés par
Image document

Qbricks, un environnement pour la vérification formelle en informatique quantique *

 Christophe Chareton , Sébastien Bardin , François Bobot , Valentin Perelle , Benoît Valiron
18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France
Communication dans un congrès hal-02175079v1
Image document

Expressing Polymorphic Types in a Many-Sorted Language

 François Bobot , Andrei Paskevich
[Research Report] 2011
Rapport inria-00591414v4
Image document

A Value-based Memory Model for Deductive Verification

 Quentin Bouillaguet , François Bobot , Mihaela Sighireanu , Boris Yakobowski
Les vingt-neuvièmes Journées Francophones des Langages Applicatifs (The 29th Francophone Days of Application Languages - JFLA 2018), Jan 2018, Banyuls-sur-mer, France
Communication dans un congrès cea-01809497v1
Image document

Preserving User Proofs Across Specification Changes

 François Bobot , Jean-Christophe Filliâtre , Claude Marché , Guillaume Melquiond , Andrei Paskevich
Fifth Working Conference on Verified Software: Theories, Tools and Experiments, May 2013, Atherton, United States. pp.191-201
Communication dans un congrès hal-00875395v1
Image document

Centralizing equality reasoning in MCSAT

 François Bobot , Stéphane Graham-Lengrand , Bruno Marre , Guillaume Bury
16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Jul 2018, Oxford, United Kingdom
Communication dans un congrès hal-01935591v1
Image document

Separation Predicates: a Taste of Separation Logic in First-Order Logic

 François Bobot , Jean-Christophe Filliâtre
14th International Conference on Formal Ingineering Methods (ICFEM), Nov 2012, Kyoto, Japan. pp.167-181, ⟨10.1007/978-3-642-34281-3_14⟩
Communication dans un congrès hal-00825088v1
Image document

Caractériser des propriétés de confiance d'IA avec Why3

 Julien Girard-Satabin , Michele Alberti , François Bobot , Zakaria Chihani
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.291--295
Communication dans un congrès hal-03936881v1
Image document

CDCL-inspired Word-level Learning for Bit-vector Constraint Solving

 Zakaria Chihani , François Bobot , Sébastien Bardin
2017
Pré-publication, Document de travail hal-01531336v1
Image document

Why3: Shepherd Your Herd of Provers

 François Bobot , Jean-Christophe Filliâtre , Claude Marché , Andrei Paskevich
Boogie 2011: First International Workshop on Intermediate Verification Languages, 2011, Wroclaw, Poland. pp.53-64
Communication dans un congrès hal-00790310v1
Image document

Real Behavior of Floating Point Numbers

 Bruno Marre , François Bobot , Zakaria Chihani
The SMT Workshop, SMT 2017, 15th International Workshop on Satisfiability Modulo Theories, Jul 2017, Heidelberg, Germany
Communication dans un congrès cea-01795760v1
Image document

Sharpening Constraint Programming approaches for Bit-Vector Theory

 Zakaria Chihani , Bruno Marre , François Bobot , Sébastien Bardin
CPAIOR 2017. International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2017, Padova, Italy
Communication dans un congrès cea-01795779v1
Image document

The Why3 platform 0.81

 François Bobot , Jean-Christophe Filliâtre , Claude Marché , Guillaume Melquiond , Andrei Paskevich
2013
Autre publication scientifique hal-00822856v1
Image document

Let's Verify This with Why3

 François Bobot , Jean-Christophe Filliâtre , Claude Marché , Andrei Paskevich
International Journal on Software Tools for Technology Transfer, 2015, 17 (6), pp.709-727. ⟨10.1007/s10009-014-0314-5⟩
Article dans une revue hal-00967132v1
Image document

Toward certified quantum programming

 Sébastien Bardin , François Bobot , Valentin Perelle , Christophe Chareton , Benoît Valiron
2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
Communication dans un congrès hal-02175112v1
Image document

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness

 Julien Girard-Satabin , Michele Alberti , François Bobot , Zakaria Chihani , Augustin Lemesle
AISafety, Jul 2022, Vienne, Austria
Communication dans un congrès hal-03687211v2
Image document

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic

 François Bobot , Sylvain Conchon , Evelyne Contejean , Mohamed Iguernelala , Assia Mahboubi , et al.
6th International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. pp.67-81, ⟨10.1007/978-3-642-31365-3_8⟩
Communication dans un congrès hal-00687640v2
Image document

Size Does Matter: Two Certified Abstractions to Disprove Entailment in Intuitionistic and Classical Separation Logic

 Clément Hurlin , François Bobot , Alexander Summers
International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO'09), Jul 2009, Genova, Italy
Communication dans un congrès hal-00777577v1
Image document

Deductive Proof of Ethereum Smart Contracts Using Why3

 Zeinab Nehai , François Bobot
[Research Report] CEA DILS. 2019
Rapport hal-02108987v2
Image document

Un Coq apprend à un bébé Colibri à flotter

 Arthur Correnson , François Bobot
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.61-77
Communication dans un congrès hal-03626792v1
Page :