Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering
Author :
Publisher : Springer Science & Business Media
Total Pages : 252
Release :
ISBN-10 : 9783662226469
ISBN-13 : 3662226464
Rating : 4/5 (464 Downloads)

Book Synopsis Automated Theorem Proving in Software Engineering by : Johann M. Schumann

Download or read book Automated Theorem Proving in Software Engineering written by Johann M. Schumann and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt: Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture.


Automated Theorem Proving in Software Engineering Related Books

Automated Theorem Proving in Software Engineering
Language: en
Pages: 252
Authors: Johann M. Schumann
Categories: Computers
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. Th
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 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
Intellectics and Computational Logic
Language: en
Pages: 388
Authors: Steffen Hölldobler
Categories: Philosophy
Type: BOOK - Published: 2013-04-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Language: en
Pages: 569
Authors: Farn Wang
Categories: Computers
Type: BOOK - Published: 2005-10-20 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT