EAN: 9783319470146

FORMAL VERIFICATION OF SIMULINK STATEFLOW DIAGR...

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. Readers will learn the HCSP HHL-based deductive method and the use of
corresponding tools for formal verification of Simulink Stateflow diagrams. They will also gain
some basic ideas about fundamental elements of formal methods such as formal syntax and
semantics  and especially the common techniques applied in formal modelling and verification of
hybrid systems. By investigating the successful case studies  readers will realize how to apply
the pure theory and techniques to real applications  and hopefully will be inspired to start to
use the proposed approach  or even develop their own formal methods in their future work.

Aktuelle Preise zur EAN 9783319470146

Produktinformationen zur 9783319470146