Call Me Back, I Have a Type Invariant. | 0 | 0.34 | 2019 |
Adding Decision Procedures to SMT Solvers using Axioms with Triggers | 6 | 0.41 | 2016 |
Bridging the Gap between Testing and Formal Verification in Ada Development. | 0 | 0.34 | 2015 |
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. | 3 | 0.50 | 2014 |
Hi-Lite: the convergence of compiler technology and program verification | 3 | 0.40 | 2012 |
Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve -- the hi-lite project | 1 | 0.35 | 2012 |
Integration von Formaler Verifikation und Test. | 0 | 0.34 | 2012 |
Reasoning with Triggers. | 2 | 0.40 | 2012 |
Hi-Lite - Verification by Contract. | 1 | 0.35 | 2011 |
Faire bonne figure avec Mlpost. | 0 | 0.34 | 2009 |
CC(X): Semantic Combination of Congruence Closure with Solvable Theories | 15 | 0.98 | 2008 |