Formal verification of Simulink/Stateflow diagrams : a deductive approach

• Main Authors: Zhan, Naijun, (Author), Wang, Shuling, (Author), Zhao, Hengjun, (Author)
• Format: eBook
• Language: English
• Published: Cham, Switzerland : Springer, [2016]
• Subjects: SIMULINK.; Stateflow.; Computer software > Verification.; elektronické knihy; electronic books
• ISBN: 9783319470160; 9783319470146
• Physical Description: 1 online resource

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...