Automated Theorem Proving in Software Engineering PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Automated Theorem Proving in Software Engineering PDF full book. Access full book title Automated Theorem Proving in Software Engineering by Johann M. Schumann. Download full books in PDF and EPUB format.

Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering PDF Author: Johann M. Schumann
Publisher: Springer Science & Business Media
ISBN: 3662226464
Category : Computers
Languages : en
Pages : 252

Book Description
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.
➤