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: Paperback
• Language: English
• ISBN: 3319836382
• ISBN13: 9783319836386
• Release Date: June 2018
• Publisher: Springer
• Length: 258 Pages
• Weight: 0.86 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"