by
Naijun Zhan, Shuling Wang, Hengjun Zhao
Language: English
Release Date: November 7, 2016
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. ...