Formal method
Subtitle: industrial use from model to the code
By: edited by Jean-Louis Boulanger
Series: Industrial implementation of formal methods series
Publisher: ISTE; Wiley
Published: 2012
Place of publication: London; Hoboken, NJ
Language: eng
ISBN-13: 9781848213623
Subjects: Development; Management; Application software; Data processing; Formal methods (Computer science); Railroads
Notes: Includes bibliographical references and index.
Table of contents: title: From classic languages to formal methods; title: Formal method in railway, the first complex application : SAET-METEOR; title: B method and B tools; title: Model-based design using Simulink : modeling, code generation, verification, and validation; title: Proof of global properties with the aid of the Simulink Design verifier proof tool; title: SCADE : implementation and applications; title: GATel : a V & V platform for scade models; title: Control build.