Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

111

Voted

AMAST
2010
Springer

223views Software Engineering» more AMAST 2010»

Program Calculation in Coq

14 years 9 months ago

Program Calculation in Coq

Download www.univ-orleans.fr

Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Fr&

Real-time Traffic

AMAST 2010 | Software Engineering |

claim paper

Related Content

» Building Certified Static Analysers by Modular Construction of Wellfounded Lattices

» Extraction in Coq An Overview

» Proving SelfStabilization with a Proof Assistant

» A Hoare Logic for the State Monad

» Weakest Precondition for General Recursive Programs Formalized in Coq

» Combining Coq and Gappa for Certifying FloatingPoint Programs

» A Coq Library for Verification of Concurrent Programs

» Automatic Complexity Analysis for Programs Extracted from Coq Proof

» Formal Verification of a Clike Memory Model and Its Uses for Verifying Program Transformat...

Post Info
More Details (n/a)

Added	12 May 2011
Updated	12 May 2011
Type	Journal
Year	2010
Where	AMAST
Authors	Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi

Comments (0)