Verication of Object-Oriented Software: The KeY Approach, Lecture Notes in Computer Science, vol.4334, 2007. ,
The Alt-Ergo automated theorem prover, 2008. ,
Why3: Shepherd your herd of provers, Boogie 2011: First International Workshop on Intermediate Verication Languages, p.5364, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00790310
Expressing Polymorphic Types in a Many-Sorted Language, Frontiers of Combining Systems, 8th International Symposium, Proceedings, p.87102, 2011. ,
DOI : 10.1007/978-3-540-78800-3_24
URL : https://hal.archives-ouvertes.fr/inria-00591414
Tool Integration with the Evidential Tool Bus, Verication, Model Checking, and Abstract Interpretation, 14th International Conference, VM- CAI 2013, p.275294, 2013. ,
DOI : 10.1007/978-3-642-35873-9_18
Z3, an ecient SMT solver, TACAS, p.337340, 2008. ,
Combining Interactive and Automated Theorem Proving in Why3 (invited talk), Automation in Proof Assistants 2012, 2012. ,
Why3 ??? Where Programs Meet Provers, Proceedings of the 22nd European Symposium on Programming, 2013. ,
DOI : 10.1007/978-3-642-37036-6_8
Extending the Reach and Power of Deductive Program Verication, 2009. ,
A formal framework for specifying sequent calculus proof systems, Theoretical Computer Science, vol.474, p.98116, 2013. ,
DOI : 10.1016/j.tcs.2012.12.008
URL : https://hal.archives-ouvertes.fr/hal-00787586
Reuse of proofs in software verication, Foundations of Software Technology and Theoretical Computer Science, 13th Conference, p.284293, 1993. ,
An Evidential Tool Bus, Lecture Notes in Computer Science, vol.3785, p.3636, 2005. ,
DOI : 10.1007/11576280_3
The SZS ontologies for automated reasoning software, Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics CEUR Workshop Proceedings, p.3849, 2008. ,