Seguir
Guillaume Bury
Guillaume Bury
R&D Engineer, OCamlPro
Email confirmado em ocamlpro.com - Página inicial
Título
Citado por
Citado por
Ano
Automated deduction in the B set theory using typed proof search and deduction modulo
G Bury, D Delahaye, D Doligez, P Halmagrand, O Hermant
LPAR 20: 20th International Conference on Logic for Programming, Artificial …, 2015
232015
First-order automated reasoning with theories: when deduction modulo theory meets practice
G Burel, G Bury, R Cauderlier, D Delahaye, P Halmagrand, O Hermant
Journal of Automated Reasoning 64 (6), 1001-1050, 2020
112020
Integrating simplex with tableaux
G Bury, D Delahaye
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
82015
Centralizing equality reasoning in MCSAT
F Bobot, S Graham-Lengrand, B Marre, G Bury
16th International Workshop on Satisfiability Modulo Theories (SMT 2018), 2018
72018
Implementing polymorphism in Zenon
G Bury, R Cauderlier, P Halmagrand
11th International Workshop on the Implementation of Logics (IWIL), 2015
72015
SMT solving modulo tableau and rewriting theories
G Bury, S Cruanes, D Delahaye
SMT 2018-16th International Workshop on Satisfiability Modulo Theories, 2018
62018
An Automation-Friendly Set Theory for the B Method
G Bury, S Cruanes, D Delahaye, PL Euvrard
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
52018
Dolmen: A Validator for SMT-LIB and Much More.
G Bury
SMT, 32-39, 2021
32021
mSAT: an ocaml sat solver
G Bury
OCaml Users and Developers Workshop, 2017
32017
Verifying models with Dolmen
G Bury, F Bobot
12023
Chamelon: un minimiseur pour et en OCaml
M Valnet, N Courant, G Bury, P Chambart, V Laviron
35es Journées Francophones des Langages Applicatifs (JFLA 2024), 2024
2024
33èmes journées francophones des langages applicatifs
C Keller, T Bourke, S Blazy, F Bour, G Bury, S Dumbrava, D Gallois-Wong, ...
2022
Alt-Ergo-Fuzz: A fuzzer for the Alt-Ergo SMT solver
HRA El Hara, G Bury, S de Oliveira
33èmes Journées Francophones des Langages Applicatifs, 235-244, 2022
2022
Integrating rewriting, tableau and superposition into SMT
G Bury
Université Sorbonne Paris Cité, 2019
2019
Grant Proposal: Liquidity, development and verification frameworks
MSSEI FAN, A MEBSOUT, F LE FESSANT, M IGUERNLALA, ...
2018
Publications scientifiques de l'Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)
C Keller, T Bourke, S Blazy, F Bour, G Bury
Laboratoire Méthodes Formelles collection
C Keller, T Bourke, S Blazy, F Bour, G Bury
mSAT: AnOCamlSATSolver
G Bury
Frédéric Lang, Arthur Milchior, Samia Nabili, Samuel Risbourg, Thibaut Tachon For more informations visit our website at https://alt-ergo. ocamlpro. com/and our public repo on …
G Bury
Integrating the Simplex Algorithm to the Tableau Method
G Bury
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20