Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer | Engineering | December 6, 2016 | ISBN-10: 3319470140 | 258 pages | pdf | 4.17 mb
Authors: Zhan, Naijun, Wang, Shuling, Zhao, HengjunProvides 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