Automated theorem proving in software engineering
Auteur :
Schumann, Johann M.
Éditeur :
Schumann, Johann M.
ISBN :
9783540679899
Date de publication :
20 juin 2001
Dimensions :
23,4 x 15,6 x 1,5 cm
Poids :
1170 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
Allemagne
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.