Interactive Theorem Proving and Program Development

Author	: Yves Bertot
Publisher	: Springer Science & Business Media
Total Pages	: 492
Release	: 2013-03-14
ISBN-10	: 9783662079645
ISBN-13	: 366207964X
Rating	: 4/5 (64X Downloads)

DOWNLOAD EBOOK

Book Synopsis Interactive Theorem Proving and Program Development by : Yves Bertot

Download or read book Interactive Theorem Proving and Program Development written by Yves Bertot and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Interactive Theorem Proving and Program Development Related Books

Language: en
Pages: 492

Interactive Theorem Proving and Program Development

Authors: Yves Bertot

Categories: Mathematics

Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested i

Language: en
Pages: 599

Logic for Programming, Artificial Intelligence, and Reasoning

Authors: Miki Hermann

Categories: Computers

Type: BOOK - Published: 2006-10-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006,

Language: en
Pages: 437

Certified Programming with Dependent Types

Authors: Adam Chlipala

Categories: Computers

Type: BOOK - Published: 2022-06-07 - Publisher: MIT Press

DOWNLOAD EBOOK

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati

Language: en
Pages: 505

Interactive Theorem Proving

Authors: Matt Kaufmann

Categories: Computers

Type: BOOK - Published: 2010-07-13 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 20

Language: en
Pages: 337

Computer-Aided Reasoning

Authors: Matt Kaufmann

Categories: Computers

Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, bu