Formal Verification of Simulink Stateflow Diagrams

Formal Verification of Simulink Stateflow Diagrams
Author : Naijun Zhan
Publisher : Springer
Total Pages : 258
Release : 2016-11-07
ISBN 10 : 9783319470160
ISBN 13 : 3319470167
Language : EN, FR, DE, ES & NL

Formal Verification of Simulink Stateflow Diagrams Book Description:

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.


RELATED BOOKS:
Formal Verification of Simulink/Stateflow Diagrams
Language: en
Pages: 258
Authors: Naijun Zhan, Shuling Wang, Hengjun Zhao
Categories: Technology & Engineering
Type: BOOK - Published: 2016-11-07 - Publisher: Springer

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
Automated Technology for Verification and Analysis
Language: en
Pages: 520
Authors: Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Categories: Computers
Type: BOOK - Published: 2015-10-07 - Publisher: Springer

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current
Unifying Theories of Programming
Language: en
Pages: 217
Authors: Jonathan P. Bowen, Huibiao Zhu
Categories: Computers
Type: BOOK - Published: 2017-01-10 - Publisher: Springer

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from
Software Engineering Trends and Techniques in Intelligent Systems
Language: en
Pages: 498
Authors: Radek Silhavy, Petr Silhavy, Zdenka Prokopova, Roman Senkerik, Zuzana Kominkova Oplatkova
Categories: Computers
Type: BOOK - Published: 2017-04-07 - Publisher: Springer

This book presents new approaches and methods to solve real-world problems as well as exploratory research describing novel approaches in the field of software engineering and intelligent systems. It particularly focuses on modern trends in selected fields of interest, introducing new algorithms, methods and application of intelligent systems in software
Provably Correct Systems
Language: en
Pages: 328
Authors: Mike Hinchey, Jonathan P. Bowen, Ernst-RĂ¼diger Olderog
Categories: Mathematics
Type: BOOK - Published: 2017-03-01 - Publisher: Springer

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015,