The Why/Krakatoa/Caduceus platform for deductive program verification

Jean-Christophe Filliâtre 1 Claude Marché 1, 2
2 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Abstract : We present the Why/Krakatoa/Caduceus set of tools for deductive verification of Java and C source code.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00270820
Contributor : Claude Marché <>
Submitted on : Monday, April 7, 2008 - 4:02:33 PM
Last modification on : Thursday, April 5, 2018 - 12:30:08 PM
Long-term archiving on : Thursday, May 20, 2010 - 11:01:47 PM

Files

cav.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00270820, version 1

Collections

Citation

Jean-Christophe Filliâtre, Claude Marché. The Why/Krakatoa/Caduceus platform for deductive program verification. 19th International Conference on Computer Aided Verification, Jul 2007, Berlin, Germany. ⟨inria-00270820⟩

Share

Metrics

Record views

305

Files downloads

213