Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development
Author :
Publisher : Springer Science & Business Media
Total Pages : 492
Release :
ISBN-10 : 9783662079645
ISBN-13 : 366207964X
Rating : 4/5 (45 Downloads)

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

Interactive Theorem Proving and Program Development
Language: en
Pages: 492
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
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Language: en
Pages: 79
Authors: Asad Ahmed
Categories: Technology & Engineering
Type: BOOK - Published: 2021-08-15 - Publisher: Springer

DOWNLOAD EBOOK

This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specificati
Certified Programming with Dependent Types
Language: en
Pages: 437
Authors: Adam Chlipala
Categories: Computers
Type: BOOK - Published: 2013-12-06 - 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
Interactive Theorem Proving
Language: en
Pages: 429
Authors: Lennart Beringer
Categories: Mathematics
Type: BOOK - Published: 2012-08-10 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ,
Natural Language Processing in Artificial Intelligence — NLPinAI 2021
Language: en
Pages: 126
Authors: Roussanka Loukanova
Categories: Technology & Engineering
Type: BOOK - Published: 2021-11-01 - Publisher: Springer Nature

DOWNLOAD EBOOK

The book covers theoretical work, approaches, applications, and techniques for computational models of information, language, and reasoning. Computational and t