EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link: https://ebookbell.com/faq

We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.

For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Industrial Use Of Formal Methods Formal Verification Jeanlouis Boulanger

Name: Industrial Use Of Formal Methods Formal Verification Jeanlouis Boulanger
SKU: BELL-4306370
Price: 31.00 USD
Availability: InStock
Rating: 4.4 (92 reviews)

SKU: BELL-4306370

$ 31.00 ~~$ 45.00~~ (-31%)

4.4

92 reviews

Industrial Use Of Formal Methods Formal Verification Jeanlouis Boulanger instant download after payment.

Publisher: Wiley-ISTE

File Extension: PDF

File size: 12.24 MB

Pages: 306

Author: Jean-Louis Boulanger

ISBN: 9781118561829, 9781848213630, 1118561821, 1848213638

Language: English

Year: 2012

Product desciption

Industrial Use Of Formal Methods Formal Verification Jeanlouis Boulanger by Jean-louis Boulanger 9781118561829, 9781848213630, 1118561821, 1848213638 instant download after payment.

Content:
Chapter 1 SPARK – A Language and Tool?Set for High?Integrity Software Development (pages 1–27): Ian O'Neill
Chapter 2 Model?Based Testing Automatic Generation of Test Cases Using the Markov Chain Model (pages 29–81): Helene Le Guen, Frederique Vallee and Anthony Faucogney
Chapter 3 Safety Analysis of the Embedded Systems with the AltaRica Approach (pages 83–121): Pierre Bieber and Christel Seguin
Chapter 4 Polyspace® (pages 123–153): Patrick Munier
Chapter 5 Escher Verification Studio Perfect Developer and Escher C Verifier (pages 155–193): Judith Carlton and David Crocker
Chapter 6 Partial Applications of Formal Methods (pages 195–214): Aryldo G. Russo
Chapter 7 Event?B and Rodin (pages 215–245): Michael Butler, Asieh Salehi Fathabadi and Renato Silva
Chapter 8 Conclusion (pages 247–286): Jean?louis Boulanger