Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

By Hengjun Zhao, Naijun Zhan, Shuling Wang

Book Overview

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.

• Format: Hardcover
• Language: English
• ISBN: 3319470140
• ISBN13: 9783319470146
• Release Date: November 2016
• Publisher: Springer
• Length: 258 Pages
• Weight: 1.24 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"