Guillaume Bury

According to our database, Guillaume Bury authored at least 8 papers between 2015 and 2023.

Collaborative distances:

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

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