Automated Theorem Proving in Software Engineering - Tapa dura

Schumann, Johann M.

 
9783540679899: Automated Theorem Proving in Software Engineering
Tapa dura
ISBN 10: 3540679898 ISBN 13: 9783540679899
Editorial: Springer, 2001

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

De la contraportada

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2001
Idioma
Inglés
ISBN 10 
3540679898
ISBN 13 
9783540679899
Encuadernación
Tapa dura
Número de páginas
250
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783642087592: Automated Theorem Proving in Software Engineering

Edición Destacada

ISBN 10:  3642087590 ISBN 13:  9783642087592
Editorial: Springer, 2010
Tapa blanda