Login

Wang, Shuling

Formal Verification of Simulink/Stateflow Diagrams

Wang, Shuling - Formal Verification of Simulink/Stateflow Diagrams, ebook

153,75€

Ebook, PDF with Adobe DRM
ISBN: 9783319470160
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
Naijun Zhan, Shuling Wang, Hengjun Zhao

2. Preliminaries
Naijun Zhan, Shuling Wang, Hengjun Zhao

3. Unifying Theories of Programming (UTP)
Naijun Zhan, Shuling Wang, Hengjun Zhao

4. Simulink
Naijun Zhan, Shuling Wang, Hengjun Zhao

5. Stateflow and Its Combination with Simulink
Naijun Zhan, Shuling Wang, Hengjun Zhao

6. Hybrid CSP
Naijun Zhan, Shuling Wang, Hengjun Zhao

7. Hybrid Hoare Logic
Naijun Zhan, Shuling Wang, Hengjun Zhao

8. The HHL Prover
Naijun Zhan, Shuling Wang, Hengjun Zhao

9. Invariant Generation
Naijun Zhan, Shuling Wang, Hengjun Zhao

10. Translating Simulink Diagrams into HCSP
Naijun Zhan, Shuling Wang, Hengjun Zhao

11. Translating Simulink/Stateflow Diagrams into HCSP
Naijun Zhan, Shuling Wang, Hengjun Zhao

12. From HCSP to Simulink
Naijun Zhan, Shuling Wang, Hengjun Zhao

13. MARS: A Toolkit for Modelling, Analysis, and Verification of Hybrid Systems
Naijun Zhan, Shuling Wang, Hengjun Zhao

14. Case Studies
Naijun Zhan, Shuling Wang, Hengjun Zhao

Keywords: Engineering, Circuits and Systems, Processor Architectures, Electronic Circuits and Devices

Author(s)
 
 
Publisher
Springer
Publication year
2017
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9783319470160
Printed ISBN
978-3-319-47014-6

Similar titles