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 | 24 | 2015 |
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 | 12 | 2020 |
Integrating simplex with tableaux G Bury, D Delahaye International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 9 | 2015 |
SMT solving modulo tableau and rewriting theories G Bury, S Cruanes, D Delahaye SMT 2018-16th International Workshop on Satisfiability Modulo Theories, 2018 | 7 | 2018 |
Centralizing equality reasoning in MCSAT F Bobot, S Graham-Lengrand, B Marre, G Bury 16th International Workshop on Satisfiability Modulo Theories (SMT 2018), 2018 | 7 | 2018 |
Implementing polymorphism in Zenon G Bury, R Cauderlier, P Halmagrand 11th International Workshop on the Implementation of Logics (IWIL), 2015 | 7 | 2015 |
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 | 6 | 2018 |
Dolmen: A Validator for SMT-LIB and Much More. G Bury SMT, 32-39, 2021 | 3 | 2021 |
mSAT: an ocaml sat solver G Bury OCaml Users and Developers Workshop, 2017 | 3 | 2017 |
Verifying models with Dolmen G Bury, F Bobot | 2 | 2023 |
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 | | |