Item description for Automated Theorem Proving in Software Engineering by Johann M. Schumann...
The growing demand for high quality, safety, and security of software systems can only be met by rigorous application of formal methods during software design. Tools for formal methods in general, however, do not provide a sufficient level of automatic processing. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on verification of communication and security protocols and logic-based component reuse, the book characterizes proof tasks to allow an assessment of the provers' capabilities. Necessary techniques and extensions, e.g., for handling inductive and modal proof tasks, or for controlling the prover, are covered in detail. The book demonstrates that state-of-the-art automated theorem provers are capable of automatically handling important tasks during the development of high-quality software and it provides many helpful techniques for increasing practical usability of the automated theorem prover for successful applications.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 0.75" Width: 6.5" Height: 9.5" Weight: 1.05 lbs.
Release Date Aug 9, 2001
ISBN 3540679898 ISBN13 9783540679899
Reviews - What do customers think about Automated Theorem Proving in Software Engineering?
survey book describing applications of automated reasoning Feb 11, 2007
This book present case studies where automated reasoning methods have been applied successfully. It describes the various methodologies used to implement automated reasoning, gives examples of provers and discusses issues or concerns when using these tools. It is quite expansive and descriptive. The details are found in other references, but the overall picture is presented very well in this book.