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

Zhan, Naijun; Wang, Shuling; Zhao, Hengjun

 
9783319470153: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Softcover
ISBN 10: 3319470159 ISBN 13: 9783319470153
Verlag: Springer, 2016

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2016
Sprache
Englisch
ISBN 10 
3319470159
ISBN 13 
9783319470153
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783319470146: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Vorgestellte Ausgabe

ISBN 10:  3319470140 ISBN 13:  9783319470146
Verlag: Springer, 2016
Hardcover