Caveat: a tool for software validation, Proceedings International Conference on Dependable Systems and Networks, p.537, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-01810204
Implementing Polymorphism in SMT solvers, SMT '08: Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories, pp.1-5, 2008. ,
Why3: Shepherd your herd of provers, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00790310
Extending SMT-LIB v2 with ?-Terms and Polymorphism, Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, vol.1163, 2014. ,
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation, Logical Methods in Computer Science, vol.8, issue.3, 2012. ,
CC(X): Semantic Combination of Congruence Closure with Solvable Theories, Electronic Notes in Theoretical Computer Science, vol.198, issue.2, pp.51-69, 2008. ,
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems, Computer Aided Verification, pp.718-724, 2012. ,
A collaborative framework for nonlinear integer arithmetic reasoning in alt-ergo, 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, pp.161-168, 2013. ,
A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT, Computer Aided Verification, pp.419-435, 2017. ,
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo, Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, pp.1-13, 2016. ,
One Logic To Use Them All, CADE 24-the 24th International Conference on Automated Deduction, 2013. ,