A Language for Building Verified Software Components. | 0 | 0.34 | 2013 |
A case study in verification of embedded network software | 0 | 0.34 | 2012 |
The location linking concept: a basis for verification of code using pointers | 3 | 0.42 | 2012 |
Specification engineering and modular verification using a web-integrated verifying compiler | 12 | 0.80 | 2012 |
Robust, generic, modularly-verified map: a software verification challenge problem | 0 | 0.34 | 2011 |
Building a push-button RESOLVE verifier: Progress and challenges | 28 | 1.72 | 2011 |
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? | 7 | 0.55 | 2009 |
Generating Verified Java Components through RESOLVE | 6 | 0.51 | 2009 |