Formal verification of Simulink/Stateflow diagrams : a deductive approach

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

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