Related Books

Certified Programs and Proofs
Language: en
Pages: 414
Authors: Jean-Pierre Jouannaud
Categories: Business & Economics
Type: BOOK - Published: 2011-11-18 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in Dec
Certified Programs and Proofs
Language: en
Pages: 318
Authors: Georges Gonthier
Categories: Computers
Type: BOOK - Published: 2013-12-11 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held
Certified Programming with Dependent Types
Language: en
Pages: 437
Authors: Adam Chlipala
Categories: Computers
Type: BOOK - Published: 2022-06-07 - Publisher: MIT Press

GET EBOOK

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati
Types for Proofs and Programs
Language: en
Pages: 340
Authors: Herman Geuvers
Categories: Computers
Type: BOOK - Published: 2003-04-28 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal,
Program Logics for Certified Compilers
Language: en
Pages: 469
Authors: Andrew W. Appel
Categories: Computers
Type: BOOK - Published: 2014-04-21 - Publisher: Cambridge University Press

GET EBOOK

This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.