Automated Theorem Proving in Software Engineering
Download or Read eBook Automated Theorem Proving in Software Engineering PDF 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.
| Author | : Johann M. Schumann |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 252 |
| Release | : 2013-06-29 |
| ISBN-10 | : 9783662226469 |
| ISBN-13 | : 3662226464 |
| Rating | : 4/5 (69 Downloads) |
Book Synopsis Automated Theorem Proving in Software Engineering by : Johann M. Schumann
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.
