Guillaume Bury

15 papers B 1C 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Reasoning over n-indexed sequences in SMT.
Acta Informatica
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
2024 J jnl
An SMT Theory for n-Indexed Sequences.
CoRR
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
2024 — conf
An SMT theory for N-Indexed Sequences.
SMT@CAV
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
2024 — conf
Chamelon : A Delta-Debugger for OCaml.
FM (2)
Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron
2024 — conf
Minimal Logic Detection and Exporting SMTLIB Problems with Dolmen.
SMT@CAV
Guillaume Bury
2024 — conf
On SMT Theory Design: The Case of Sequences.
LPAR Complementary Volume
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
2024 J jnl
On SMT Theory Design: The Case of Sequences.
CoRR
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
2023 — conf
Verifying Models with Dolmen.
SMT
Guillaume Bury, François Bobot
2021 — conf
Dolmen: A Validator for SMT-LIB and Much More.
SMT
Guillaume Bury
2020 J jnl
First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice.
J. Autom. Reason.
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant
2019 — —
Integrating rewriting, tableau and superposition into SMT. (Intégrer la réecriture, la méthode des tableaux et la superposition dans les solveurs SMT).
Guillaume Bury
2018 C conf
An Automation-Friendly Set Theory for the B Method.
ABZ
Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard
2015 — conf
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo.
LPAR (short papers)
Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant
2015 — conf
Implementing Polymorphism in Zenon.
IWIL@LPAR
Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand
2015 B conf
Integrating Simplex with Tableaux.
TABLEAUX
Guillaume Bury, David Delahaye