Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach - Couverture souple

Zhan, Naijun; Wang, Shuling; Zhao, Hengjun

Couverture souple

ISBN 10 : 3319470159 ISBN 13 : 9783319470153

Editeur : Springer, 2016

Synopsis

1 Introduction.- 2 Preliminaries.- 3 Unifying Theories of Programming.- 4 Simulink.- 5 Stateflow and Its Combination with Simulink.- 6 Hybrid CSP.- 7 Hybrid Hoare Logic.- 8 The HHL Prover.- 9 Invariant Generation.- 10 Translating Simulink Diagrams into HCSP.- 11 Translating Simulink/Stateflow Diagrams into HCSP.- 12 From HCSP to Simulink.- 13 MARS A Toolkit for Modelling, Analysis and Verification of Hybrid Systems.- 14 Case Studies.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2016
• Langue: anglais
• ISBN 10: 3319470159
• ISBN 13: 9783319470153
• Reliure: Taschenbuch
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne