Guillaume Bury

According to our database, Guillaume Bury authored at least 12 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

An SMT theory for N-Indexed Sequences.

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

Minimal Logic Detection and Exporting SMTLIB Problems with Dolmen.

Guillaume Bury

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

On SMT Theory Design: The Case of Sequences.

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury

Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024

Chamelon : A Delta-Debugger for OCaml.

Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Verifying Models with Dolmen.

Guillaume Bury, François Bobot

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

2021

Dolmen: A Validator for SMT-LIB and Much More.

Guillaume Bury

Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021

2020

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice.

Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant

J. Autom. Reason., 2020

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

PhD thesis, 2019

2018

An Automation-Friendly Set Theory for the B Method.

Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2015

Integrating Simplex with Tableaux.

Guillaume Bury, David Delahaye

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo.

Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant

Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

Implementing Polymorphism in Zenon.

Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand

Proceedings of the IWIL@LPAR 2015, 2015