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.
Type de document :
Communication dans un congrès
Werner Damm and Holger Hermanns. 19th International Conference on Computer Aided Verification, Jul 2007, Berlin, Germany. 2007, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00270820
Contributeur : Claude Marché <>
Soumis le : lundi 7 avril 2008 - 16:02:33
Dernière modification le : jeudi 5 avril 2018 - 12:30:08
Document(s) archivé(s) le : jeudi 20 mai 2010 - 23:01:47

Fichiers

cav.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00270820, version 1

Collections

Citation

Jean-Christophe Filliâtre, Claude Marché. The Why/Krakatoa/Caduceus platform for deductive program verification. Werner Damm and Holger Hermanns. 19th International Conference on Computer Aided Verification, Jul 2007, Berlin, Germany. 2007, Lecture Notes in Computer Science. 〈inria-00270820〉

Partager

Métriques

Consultations de la notice

260

Téléchargements de fichiers

166