Formal method industrial use from model to the code - Boulanger, Jean-Louis.; ebrary, Inc. (London : ISTE ; Hoboken, N.J. : Wiley, 2012)
From classic languages to formal methods -- Formal method in railway, the first complex application : SAET-METEOR -- B method and B tools -- Model-based design using Simulink : modeling, code generation, verification, and validation -- Proof of global properties with the aid of the Simulink Design verifier proof tool -- SCADE : implementation and applications -- GATel : a V & V platform for scade models -- Control build.
Includes bibliographical references and index.
Electronic reproduction.
Keywords: Railroads -- Management -- Data processing; Formal methods (Computer science); Application software -- Development; Electronic books