Building Better Bit-Blasting for Floating-Point Problems. | 0 | 0.34 | 2019 |
Functional Requirements-Based Automated Testing for Avionics | 0 | 0.34 | 2017 |
High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles | 1 | 0.35 | 2016 |
Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK. | 8 | 0.59 | 2014 |
Auditing User-Provided Axioms in Software Verification Conditions | 1 | 0.37 | 2013 |
Using Answer Set Programming in the Development of Verified Software. | 4 | 0.47 | 2012 |
A lightweight technique for distributed and incremental program verification | 2 | 0.40 | 2012 |
A Modular Physical-Simulation Methodology | 0 | 0.34 | 2010 |