In Search of Software Perfection - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

In Search of Software Perfection

Résumé

How to prove the correctness of a program with mathematical certainty? The principles of program proof have been known for a very long time, but it is only recently that program provers and proof assistants became able to verify nontrivial programs. This invited talk discussed the usability of these tools, based on examples in Frama-C WP and in Coq, and speculated on what is next on the road to software perfection.
Fichier non déposé

Dates et versions

hal-02392114 , version 1 (03-12-2019)

Identifiants

  • HAL Id : hal-02392114 , version 1

Citer

Xavier Leroy. In Search of Software Perfection: An introduction to deductive software verification. BOB Summer 2019 Konferenz, Aug 2019, Berlin, Germany. ⟨hal-02392114⟩
77 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More