The why/krakatoa/caduceus platform for deductive program verification

Jean Christophe Filliâtre; Claude Marché

doi:10.1007/978-3-540-73368-3_21

The why/krakatoa/caduceus platform for deductive program verification

Jean Christophe Filliâtre, Claude Marché

École Polytechnique

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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

Original language	English
Title of host publication	Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings
Publisher	Springer Verlag
Pages	173-177
Number of pages	5
ISBN (Print)	3540733671, 9783540733676
DOIs	https://doi.org/10.1007/978-3-540-73368-3_21
Publication status	Published - 1 Jan 2007
Event	19th International Conference on Computer Aided Verification, CAV 2007 - Berlin, Germany Duration: 3 Jul 2007 → 7 Jul 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4590 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	19th International Conference on Computer Aided Verification, CAV 2007
Country/Territory	Germany
City	Berlin
Period	3/07/07 → 7/07/07

Access to Document

10.1007/978-3-540-73368-3_21

Cite this

Filliâtre, J. C., & Marché, C. (2007). The why/krakatoa/caduceus platform for deductive program verification. In Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings (pp. 173-177). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4590 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-73368-3_21

Filliâtre, Jean Christophe ; Marché, Claude. / The why/krakatoa/caduceus platform for deductive program verification. Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Springer Verlag, 2007. pp. 173-177 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{97978c8a882d4ef9a361c80c2ec7727b,

title = "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.",

author = "Filli{\^a}tre, \{Jean Christophe\} and Claude March{\'e}",

year = "2007",

month = jan,

day = "1",

doi = "10.1007/978-3-540-73368-3\_21",

language = "English",

isbn = "3540733671",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "173--177",

booktitle = "Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings",

note = "19th International Conference on Computer Aided Verification, CAV 2007 ; Conference date: 03-07-2007 Through 07-07-2007",

}

Filliâtre, JC & Marché, C 2007, The why/krakatoa/caduceus platform for deductive program verification. in Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4590 LNCS, Springer Verlag, pp. 173-177, 19th International Conference on Computer Aided Verification, CAV 2007, Berlin, Germany, 3/07/07. https://doi.org/10.1007/978-3-540-73368-3_21

The why/krakatoa/caduceus platform for deductive program verification. / Filliâtre, Jean Christophe; Marché, Claude.
Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Springer Verlag, 2007. p. 173-177 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4590 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The why/krakatoa/caduceus platform for deductive program verification

AU - Filliâtre, Jean Christophe

AU - Marché, Claude

PY - 2007/1/1

Y1 - 2007/1/1

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

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

U2 - 10.1007/978-3-540-73368-3_21

DO - 10.1007/978-3-540-73368-3_21

M3 - Conference contribution

AN - SCOPUS:36049022245

SN - 3540733671

SN - 9783540733676

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 173

EP - 177

BT - Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings

PB - Springer Verlag

T2 - 19th International Conference on Computer Aided Verification, CAV 2007

Y2 - 3 July 2007 through 7 July 2007

ER -

Filliâtre JC, Marché C. The why/krakatoa/caduceus platform for deductive program verification. In Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Springer Verlag. 2007. p. 173-177. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-73368-3_21

The why/krakatoa/caduceus platform for deductive program verification

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this