Skip to Main content Skip to Navigation
Notes de synthèse

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 : Wednesday, September 16, 2020 - 5:31:06 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

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⟩

Share

Metrics

Record views

61

Files downloads

253