Industrial use of formal methods : formal verification /

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the tra...

Full description

Bibliographic Details

Other Authors:	Boulanger, Jean-Louis
Format:	eBook
Language:	English
Published:	London : Wiley, 2012.
Series:	ISTE.
Subjects:	Systems engineering > Data processing. Computer simulation. Formal methods (Computer science) Computer software > Verification. Nondestructive testing. Digital computer simulation. Computer programs > Verification. Electronic books.
Online Access:	Connect to the full text of this electronic book