Automated theorem proving in software engineering /

The growing demand for high quality, safety, and security of software systems can only be met by rigorous application of formal methods during software design. Tools for formal methods in general, however, do not provide a sufficient level of automatic processing. This book methodically investigates...

Full description

Bibliographic Details

Main Author:	Schumann, Johann M., 1960-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Subjects:	Software engineering. Automatic theorem proving. Génie logiciel. Théorèmes > Démonstration automatique. Automatisches Beweisverfahren. Software Engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book