Why3 version 1.0 - Archive ouverte HAL

Documentation
French (FR)

English (EN)

Spanish (ES)

Patents Year : 2018

Why3 version 1.0

(1) , (1) , (1) , (1) , (1)

1

Jean-Christophe Filliâtre

Function : Author
PersonId : 15939
IdHAL : jean-christophe-filliatre
ORCID : 0000-0003-2359-975X
IdRef : 15500395X

Formally Verified Programs, Certified Tools and Numerical Computations

Andrei Paskevich

Function : Author
PersonId : 1687
IdHAL : tertium
IdRef : 204772567

Formally Verified Programs, Certified Tools and Numerical Computations

Guillaume Melquiond

Function : Author
PersonId : 1146
IdHAL : guillaume-melquiond
ORCID : 0000-0002-6697-1809
IdRef : 117280836

Formally Verified Programs, Certified Tools and Numerical Computations

Claude Marché

Function : Author
PersonId : 3448
IdHAL : claude-marche
ORCID : 0000-0003-3035-1269
IdRef : 069480249

Formally Verified Programs, Certified Tools and Numerical Computations

François Bobot

Function : Author

Formally Verified Programs, Certified Tools and Numerical Computations

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

Claude Marché : Connect in order to contact the contributor

https://hal.inria.fr/hal-03136256

Submitted on : Tuesday, February 9, 2021-3:34:25 PM

Last modification on : Friday, March 24, 2023-2:53:20 PM

Dates and versions

hal-03136256 , version 1 (09-02-2021)

Identifiers

HAL Id : hal-03136256 , version 1

Cite

Jean-Christophe Filliâtre, Andrei Paskevich, Guillaume Melquiond, Claude Marché, François Bobot. Why3 version 1.0. France, N° de brevet: IDDN.FR.001.420003.000.S.P.2019.000.20600. 2018. ⟨hal-03136256⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE

32 View

0 Download

Share