Home
Results
People
Meetings
Documents

FOST

ANR Project
Formal prOofs about
Scientific compuTations

Method error of the wave equation: Coq proof

The Coq files are available here as .tar.gz.

You may also browse the Coq files:

Last news

Numerical program formally proved!
Documents
- Coq proof of the program (total error)
- Published article to the ISSE journal.
- Published article at IEEE-TC (preliminary version)
- ARITH article
- Flocq library
- ITP article
- NSV-3 invited article
- Coq proof of the method error
- ICALP article
- Calculemus article
People
Contact
Sylvie Boldo is coordinator of this project.
E-mail:Sylvie.Boldo@inria.fr

Address:
Sylvie Boldo
PCRI - Bat. 650
Université Paris-Sud
91405 ORSAY Cedex
FRANCE

Copyright (c) 2011 S. Boldo. Design by : Searchopedia