Automated Theorem Proving in Software Engineering

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Programming, Software Development, General Computing
Cover of the book Automated Theorem Proving in Software Engineering by Johann M. Schumann, Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Johann M. Schumann ISBN: 9783662226469
Publisher: Springer Berlin Heidelberg Publication: June 29, 2013
Imprint: Springer Language: English
Author: Johann M. Schumann
ISBN: 9783662226469
Publisher: Springer Berlin Heidelberg
Publication: June 29, 2013
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer Berlin Heidelberg

Cover of the book Groundwater Base Level Changes and Adjoining Hydrological Systems by Johann M. Schumann
Cover of the book Emergency and Disaster Medicine by Johann M. Schumann
Cover of the book Parallele Programmierung by Johann M. Schumann
Cover of the book Sozialpsychologie der Organisation by Johann M. Schumann
Cover of the book Stem Cell Transplantation and Tissue Engineering by Johann M. Schumann
Cover of the book Transactions on Computational Collective Intelligence XVII by Johann M. Schumann
Cover of the book Synthesis of Saturated Oxygenated Heterocycles II by Johann M. Schumann
Cover of the book Digital Imaging Primer by Johann M. Schumann
Cover of the book Theoretical and Experimental Studies on Non-Fourier Heat Conduction Based on Thermomass Theory by Johann M. Schumann
Cover of the book Proceedings of the 2012 International Conference on Applied Biotechnology (ICAB 2012) by Johann M. Schumann
Cover of the book The Double [3+2] Photocycloaddition Reaction by Johann M. Schumann
Cover of the book Structural Information from Spin-Labels and Intrinsic Paramagnetic Centres in the Biosciences by Johann M. Schumann
Cover of the book Hearing — the Brain and Auditory Communication in Marsupials by Johann M. Schumann
Cover of the book CSR und Retail Management by Johann M. Schumann
Cover of the book The Southern Central Andes by Johann M. Schumann
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy