The Why/Krakatoa/Caduceus platform for deductive program verification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

The Why/Krakatoa/Caduceus platform for deductive program verification

Abstract

We present the Why/Krakatoa/Caduceus set of tools for deductive verification of Java and C source code.
Fichier principal
Vignette du fichier
cav.pdf (157.74 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00270820 , version 1 (07-04-2008)

Identifiers

  • HAL Id : inria-00270820 , version 1

Cite

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⟩
200 View
197 Download

Share

Gmail Facebook X LinkedIn More