Loading...
Communication Dans Un CongrèsAnnée : 2007
The Why/Krakatoa/Caduceus platform for deductive program verification
Jean-Christophe Filliâtre (1) ,Claude Marché (1, 2)
Jean-Christophe Filliâtre
- Fonction :Auteur
- PersonId :15939
- IdHAL :jean-christophe-filliatre
- ORCID :0000-0003-2359-975X
- IdRef :15500395X
Claude Marché
- Fonction :Auteur
- PersonId :3448
- IdHAL :claude-marche
- ORCID :0000-0003-3035-1269
- IdRef :069480249
Résumé
We present the Why/Krakatoa/Caduceus set of tools for deductive verification of Java and C source code.
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
![](#"https://inria.hal.science/inria-00270820v1/document"><div><i aria-hidden="true"></i><span>Télécharger pour visualiser</span></div></a></div><div><h3> Dates et versions</h3><div><span>inria-00270820 ,</span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2finria.hal.science%2finria-00270820v1"> version 1</a></span><span>(07-04-2008)</span></div><h3> Identifiants</h3><div><ul><li><span> HAL Id :</span><span> inria-00270820 , version 1</span></li></ul></div></div><div><div><h3> Citer</h3><button><span></span></button></div><div> Jean-Christophe Filliâtre, Claude Marché. The Why/Krakatoa/Caduceus platform for deductive program verification.<i>19th International Conference on Computer Aided Verification</i>, Jul 2007, Berlin, Germany.<a href="/mt/?noimg=&dark=on&url=https%3a%2f%2finria.hal.science%2finria-00270820v1">⟨inria-00270820⟩</a></div></div><div><h3> Exporter</h3><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2finria.hal.science%2finria-00270820v1%2fbibtex">BibTeX</a></span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2finria.hal.science%2finria-00270820v1%2ftei">XML-TEI</a></span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2finria.hal.science%2finria-00270820v1%2fdc">Dublin Core</a></span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2finria.hal.science%2finria-00270820v1%2fdcterms">DC Terms</a></span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2finria.hal.science%2finria-00270820v1%2fendnote">EndNote</a></span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2finria.hal.science%2finria-00270820v1%2fdatacite">DataCite</a></span></div><div><h3> Collections</h3><div><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2fEC-PARIS" > EC-PARIS</a></span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2fCNRS" > CNRS</a></span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2fINRIA" > INRIA</a></span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2fUMR8623" > UMR8623</a></span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2fINRIA2" > INRIA2</a></span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2fUNIV-PARIS-SACLAY" > UNIV-PARIS-SACLAY</a></span><span><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2fANR" > ANR</a></span></div></div><div><div><div><span> 248</span><span>Consultations</span></div><div><span> 270</span><span>Téléchargements</span></div></div></div><div><h3> Partager</h3><div ><ul><li><a></a><span></span></li><li><a></a><span></span></li><li><a></a><span></span></li><li><a></a><span></span></li><li><a></a><span></span></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fwww.addtoany.com%2fshare"></a><span> More</span></li></ul></div></div></section></section></main><footer><div><div><p>Contact</p><ul><li><a title="archive-ouverte@inria.fr" href="mailto:archive-ouverte@inria.fr" data-mail="nepuvir-bhiregr@vaevn.se" data-text="" data-toggle="tooltip">archive-ouverte@inria.fr</a></li></ul><p><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2finria.fr%2ffr" rel="noopener noreferrer"><img src="/image.pl?url=https%3a%2f%2fhal.inria.fr%2f..%2fpublic%2finria_logo_footer.png&f=jpg&w=240" alt="intranet inria" /></a></p></div><div><p>Ressources</p><ul><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2f%2fdoc.archives-ouvertes.fr%2f" rel="noopener"> Documentation</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2f%2flearning.hal.science%2f" rel="noopener"> Formation</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2f%2fdoc.archives-ouvertes.fr%2ffaq" rel="noopener"> FAQ</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fapi.archives-ouvertes.fr%2fdocs" rel="noopener"> API</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fapi.archives-ouvertes.fr%2fdocs%2foai" rel="noopener"> OAI-PMH</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2faurehal.archives-ouvertes.fr" rel="noopener"> AuréHAL</a></li></ul></div><div><p>Informations</p><ul><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fabout.hal.science" rel="noopener"> À propos</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fabout.hal.science%2fprivacy-policy" rel="noopener"> Données personnelles</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fabout.hal.science%2flegal-notice%2f" rel="noopener"> Mentions légales</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fabout.hal.science%2fweb-accessibility%2f" rel="noopener"> Accessibilité</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fabout.hal.science%2fRGAA-compliance%2f" rel="noopener"> Conformité RGAA</a></li></ul></div><div><p>Questions juridiques</p><ul><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fwww.ouvrirlascience.fr%2fje-publie-quels-sont-mes-droits%2f" rel="noopener"> Je publie, quels sont mes droits ?</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fwww.ouvrirlascience.fr%2fguide-application-loi-republique-numerique-article-30-ecrits-scientifiques-version-courte%2f" rel="noopener"> Loi pour une République numérique</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fwww.ouvrirlascience.fr%2fmettre-en-oeuvre-la-strategie-de-non-cession-des-droits-sur-les-publications-scientifiques%2f" rel="noopener"> Stratégie de non-cession des droits</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fv2.sherpa.ac.uk%2fromeo%2f" rel="noopener"> SHERPA/RoMEO</a></li></ul></div><div><p>Portails</p><ul><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.science%2fbrowse%2fportal" rel="noopener"> Portails institutionnels</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.science" rel="noopener">HAL</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2f%2fshs.hal.science" rel="noopener">HAL SHS</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2f%2ftheses.hal.science" rel="noopener">HAL Thèses</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2f%2fmedia.hal.science" rel="noopener">MédiHAL</a></li></ul></div><div><p>CCSD</p><ul><ul><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2f%2fwww.ccsd.cnrs.fr%2f" rel="noopener"> CCSD</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2f%2fwww.episciences.org%2f" rel="noopener"> Episciences</a></li><li><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fhal.inria.fr%2f%2fwww.sciencesconf.org%2f" rel="noopener"> Sciencesconf</a></li></ul></ul><p><a href="/mt/?noimg=&dark=on&url=https%3a%2f%2fdoi.org%2f10.34894%2fVQ1DJA" rel="noopener noreferrer"><img src="/image.pl?url=https%3a%2f%2fhal.inria.fr%2fassets%2fimg%2fCoreTrustSeal.png&f=jpg&w=240" alt="CoreTrustSeal logo" /></a></p></div></div><div><div><p> Contact</p><ul><li><a href=){kind=link}
Questions juridiques
CCSD
[8]ページ先頭
©2009-2025 Movatter.jp