Formal method
Formal method industrial use from model to the code / [electronic resource] :
edited by Jean-Louis Boulanger.
- London : Hoboken, N.J. : ISTE ; Wiley, 2012.
- xv, 357 p. : ill.
- Industrial implementation of formal methods series .
- Industrial implementation of formal methods series. .
Includes bibliographical references and index.
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.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2015.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Railroads--Management--Data processing.
Formal methods (Computer science)
Application software--Development.
Electronic books.
TF507 / .F66 2012eb
385.0285/53
Includes bibliographical references and index.
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.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2015.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Railroads--Management--Data processing.
Formal methods (Computer science)
Application software--Development.
Electronic books.
TF507 / .F66 2012eb
385.0285/53