Proceedings Of The Workshop On Automated Theorem Proving In Software Engineering
Download Proceedings Of The Workshop On Automated Theorem Proving In Software Engineering PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Proceedings Of The Workshop On Automated Theorem Proving In Software Engineering book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Automated Theorem Proving in Software Engineering
Author: Johann M. Schumann
language: en
Publisher: Springer Science & Business Media
Release Date: 2013-06-29
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.