Exactement cet exemplaire ira dans le panier
Automated Theorem Proving in Software Engineering
Paramètres
- 228pages
- 8 heures de lecture
En savoir plus sur le livre
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.
Achat du livre
Automated Theorem Proving in Software Engineering, D. Loveland, Johann M. Ph. Schumann
- Langue
- Année de publication
- 2001
- Reliure
- (rigide),
- État du livre
- Bon
- Prix
- 31,99 €
Modes de paiement
Personne n'a encore évalué .
- Titre
- Automated Theorem Proving in Software Engineering
- Langue
- Anglais
- Auteurs
- D. Loveland, Johann M. Ph. Schumann
- Éditeur
- Springer
- Publié
- 2001
- Format
- rigide
- Pages
- 228
- ISBN10
- 3540679898
- ISBN13
- 9783540679899
- Séries
- Catégories
- Mots clés
- Architecture, Europe de l'Ouest, Intelligence Artificielle, Logique, Systèmes d'exploitation, Développement de logiciels, Systèmes d'Information
- Description
- 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.