Filtrer vos résultats
- 19
- 14
- 2
- 1
- 1
- 1
- 2
- 19
- 1
- 2
- 2
- 3
- 3
- 1
- 2
- 2
- 2
- 1
- 16
- 3
- 13
- 10
- 9
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 19
- 5
- 5
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
19 résultats
|
|
triés par
|
|
Expressing Polymorphic Types in a Many-Sorted Language[Research Report] 2011
Rapport
inria-00591414v4
|
||
|
Qbricks, un environnement pour la vérification formelle en informatique quantique *18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France
Communication dans un congrès
hal-02175079v1
|
||
|
Real Behavior of Floating Point NumbersThe SMT Workshop, SMT 2017, 15th International Workshop on Satisfiability Modulo Theories, Jul 2017, Heidelberg, Germany
Communication dans un congrès
cea-01795760v1
|
||
|
Sharpening Constraint Programming approaches for Bit-Vector TheoryCPAIOR 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
|
||
|
The Why3 platform 0.812013
Autre publication scientifique
hal-00822856v1
|
||
|
Toward certified quantum programming2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
Communication dans un congrès
hal-02175112v1
|
||
|
Let's Verify This with Why3International 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
|
||
|
CAISAR: A platform for Characterizing Artificial Intelligence Safety and RobustnessAISafety, Jul 2022, Vienne, Austria
Communication dans un congrès
hal-03687211v2
|
||
|
CDCL-inspired Word-level Learning for Bit-vector Constraint Solving2017
Pré-publication, Document de travail
hal-01531336v1
|
||
|
Why3: Shepherd Your Herd of ProversBoogie 2011: First International Workshop on Intermediate Verification Languages, 2011, Wroclaw, Poland. pp.53-64
Communication dans un congrès
hal-00790310v1
|
||
|
Preserving User Proofs Across Specification ChangesFifth Working Conference on Verified Software: Theories, Tools and Experiments, May 2013, Atherton, United States. pp.191-201
Communication dans un congrès
hal-00875395v1
|
||
|
A Value-based Memory Model for Deductive VerificationLes 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
|
||
|
Centralizing equality reasoning in MCSAT16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01935591v1
|
||
|
Caractériser des propriétés de confiance d'IA avec Why3JFLA 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
|
||
|
Separation Predicates: a Taste of Separation Logic in First-Order Logic14th 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
|
||
|
Un Coq apprend à un bébé Colibri à flotter33è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
|
||
|
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic6th 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
|
||
|
Size Does Matter: Two Certified Abstractions to Disprove Entailment in Intuitionistic and Classical Separation LogicInternational Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO'09), Jul 2009, Genova, Italy
Communication dans un congrès
hal-00777577v1
|
||
|
Deductive Proof of Ethereum Smart Contracts Using Why3[Research Report] CEA DILS. 2019
Rapport
hal-02108987v2
|