Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance)

Martin Clochard 1
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
Document type :
Notes de synthèse
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download
https://hal.inria.fr/hal-02047458
Contributor : Martin Clochard <>
Submitted on : Sunday, February 24, 2019 - 9:30:22 PM
Last modification on : Monday, December 9, 2019 - 5:24:07 PM
Long-term archiving on: Saturday, May 25, 2019 - 12:29:50 PM

File

french.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02047458, version 1

Collections

CNRS | CENTRALESUPELEC | INRIA | UMR8623 | LRI-VALS | UNIV-PARIS-SACLAY

Citation

Martin Clochard. Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance). 2019. ⟨hal-02047458⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

47

Files downloads

199

Contact

Informations

CCSD