The Why/Krakatoa/Caduceus platform for deductive program verification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

The Why/Krakatoa/Caduceus platform for deductive program verification

Jean-Christophe Filliâtre
Laboratoire de Recherche en Informatique
Claude Marché
Laboratoire de Recherche en Informatique
Proof of Programs
CV

Résumé

We present the Why/Krakatoa/Caduceus set of tools for deductive verification of Java and C source code.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
cav.pdf (157.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Claude Marché  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00270820

Soumis le : lundi 7 avril 2008-16:02:33

Dernière modification le : samedi 10 février 2024-03:07:36

Archivage à long terme le : jeudi 20 mai 2010-23:01:47

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : inria-00270820 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS CNRS INRIA UMR8623 INRIA2 UNIV-PARIS-SACLAY ANR
200 Consultations
197 Téléchargements

Partager

Gmail Facebook X LinkedIn More