Automated Theorem Proving in Software Engineering (2001)
By:
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2001
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783662226469
- Related ISBNs:
- 9783540679899
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 08/23/22
- Copyrighted By:
- Springer-Verlag Berlin Heidelberg
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Business and Finance, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Foreword by:
- D. Loveland
Reviews
Other Books
- by Johann M. Schumann
- in Nonfiction
- in Computers and Internet
- in Business and Finance
- in Mathematics and Statistics
- in Philosophy