Industrial used of formal method : formal verification /

• Other Authors: Boulanger, Jean-Louis
• Format: eBook
• Language: English
• Published: London : ISTE ; [2012]; Hoboken, NJ : Wiley, [2012]
• Subjects: Systems engineering > Data processing.; Computer simulation.; Formal methods (Computer science); Computer software > Verification.; Nondestructive testing.; Electronic books.

"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 t...