Deductive Program Verification

Jean-Christophe Filliâtre 1, 2
2 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Type de document :
Communication dans un congrès
Nate Foster and Philippa Gardner and Alan Schmitt and Gareth Smith and Peter Thieman and Tobias Wrigstad. Programming Languages Mentoring Workshop (PLMW 2013), Jan 2013, Rome, Italy. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00799190
Contributeur : Jean-Christophe Filliâtre <>
Soumis le : lundi 11 mars 2013 - 17:23:51
Dernière modification le : vendredi 10 novembre 2017 - 14:52:02

Identifiants

  • HAL Id : hal-00799190, version 1

Citation

Jean-Christophe Filliâtre. Deductive Program Verification. Nate Foster and Philippa Gardner and Alan Schmitt and Gareth Smith and Peter Thieman and Tobias Wrigstad. Programming Languages Mentoring Workshop (PLMW 2013), Jan 2013, Rome, Italy. 2013. 〈hal-00799190〉

Partager

Métriques

Consultations de la notice

283