Formal verification of Simulink/Stateflow diagrams a deductive approach /
This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Rea...
Full description
Saved in:
| Main Author: |
Zhan, Naijun, |
| Other Authors: |
Wang, Shuling,, Zhao, Hengjun,, SpringerLink (Online service) |
| Format: |
eBook
|
| Language: |
English
|
| Published: |
Cham, Switzerland :
Springer,
[2016]
|
| Physical Description: |
1 online resource.
|
| Subjects: |
|