Automated Theorem Proving in Software Engineering
228 pages, parution le 01/06/2001
Résumé
Growing demands for the quality, safety, and security of
software can only be met by 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 provers' capabilities and for selecting
and developing an appropriate interface architecture. The
book demonstrates that state-of-the-art automated theorem
provers are capable of automatically handling important
tasks in the design of high quality software and provides
many helpful techniques for increasing the practical
usability of automated theorem provers.
Contents
- Introduction
- Formal methods in software ingineering
- Processing of logic
- Characteristics of proof tasks
- Requirements
- Case studies
- Specific techniques for ATP applications
- Conclusions
- References
- Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Johann M. Schumann |
| Parution | 01/06/2001 |
| Nb. de pages | 228 |
| Format | 16 x 24 |
| Couverture | Relié |
| Poids | 468g |
| Intérieur | Noir et Blanc |
| EAN13 | 9783540679899 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
