The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
Authors:
Top Cited Papers
- 29 August 2007
- book chapter
- Published by Springer Nature
- p. 173-177
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Formal Verification of Floating-Point Programs18th IEEE Symposium on Computer Arithmetic (ARITH '07), 2007
- An overview of JML tools and applicationsInternational Journal on Software Tools for Technology Transfer, 2004
- Multi-prover Verification of C Programs2004
- Middleware 20042004
- Verification of non-functional programs using interpretations in type theoryJournal of Functional Programming, 2003
- Proving Pointer Programs in Hoare Logic2000