Formal verification of simulink/stateflow diagrams: a deductive approach
Auteur :
Zhan, Naijun / Wang, Shuling / Zhao, Hengjun
Éditeur :
Springer International Publishing AG
ISBN :
9783319836386
Date de publication :
29 juin 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.