Formal Verification of Simulink/Stateflow Diagrams - A Deductive Approach
Do you like this product? Spread the word!
Check other buying options
Sold by Dodax EU
Provides development of the method, from theories to implementations, and then to applications
Covers a broad range of topics, both theoretical and practical, including hybrid systems, deductive verification, Duration Calculus, dynamical systems, computer algebra, Simulink/Stateflow, Isabelle theorem prover, etc.
Uses "hands-on" presentation of implementations and case studies from real industrial systems