Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering
Author :
Publisher : Springer Science & Business Media
Total Pages : 252
Release :
ISBN-10 : 9783662226469
ISBN-13 : 3662226464
Rating : 4/5 (69 Downloads)

Book Synopsis Automated Theorem Proving in Software Engineering by : Johann M. Schumann

Download or read book Automated Theorem Proving in Software Engineering 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. 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.


Automated Theorem Proving in Software Engineering Related Books

Automated Theorem Proving in Software Engineering
Language: en
Pages: 252
Authors: Johann M. Schumann
Categories: Computers
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. Th
Sorts and Types in Artificial Intelligence
Language: en
Pages: 318
Authors: Ulrich Hedtstück
Categories: Computers
Type: BOOK - Published: 1990-07-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge rep
Computational Aspects of an Order-Sorted Logic with Term Declarations
Language: en
Pages: 186
Authors: Manfred Schmidt-Schauß
Categories: Computers
Type: BOOK - Published: 1989-09-20 - Publisher: Lecture Notes in Artificial Intelligence

DOWNLOAD EBOOK

Die steigende Zahl von Publikationen und internationalen Kongressen über die schizoaffektiven Psychosen waren Anlaß, dieses Thema erstmalig ausführlich und u
Logics in AI
Language: en
Pages: 424
Authors: David Pearce
Categories: Computers
Type: BOOK - Published: 1992-08-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logic
IBM Journal of Research and Development
Language: en
Pages: 764
Authors:
Categories: Electrical engineering
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK