Industrial Use of Formal Methods: Formal Verification

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