|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910820783003321 |
|
|
Titolo |
Formal method : industrial use from model to the code / / editor, Jean-Louis Boulanger |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London : , : ISTE |
|
Hoboken, N.J. : , : Wiley, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
9781118614372 |
1118614372 |
9781118561898 |
1118561899 |
9781299315075 |
1299315070 |
9781118614389 |
1118614380 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (376 pages) |
|
|
|
|
|
|
Collana |
|
Industrial implementation of formal methods series |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Railroads - Management - Data processing |
Formal methods (Computer science) |
Application software - Development |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980's. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990's before formal methods or the B method could be implemented |
|
|
|
|