Items related to Formal Verification of Simulink/Stateflow Diagrams:...

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach - Softcover

Zhan, Naijun; Wang, Shuling; Zhao, Hengjun

 
9783319470153: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Softcover
ISBN 10: 3319470159 ISBN 13: 9783319470153
Publisher: Springer, 2016

This specific ISBN edition is currently not available.

Synopsis

1 Introduction.- 2 Preliminaries.- 3 Unifying Theories of Programming.- 4 Simulink.- 5 Stateflow and Its Combination with Simulink.- 6 Hybrid CSP.- 7 Hybrid Hoare Logic.- 8 The HHL Prover.- 9 Invariant Generation.- 10 Translating Simulink Diagrams into HCSP.- 11 Translating Simulink/Stateflow Diagrams into HCSP.- 12 From HCSP to Simulink.- 13 MARS A Toolkit for Modelling, Analysis and Verification of Hybrid Systems.- 14 Case Studies.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2016
Language
English
ISBN 10 
3319470159
ISBN 13 
9783319470153
Binding
Paperback
Number of pages
276

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319470146: Formal Verification of Simulink/Stateflow Diagrams

Featured Edition

ISBN 10:  3319470140 ISBN 13:  9783319470146
Publisher: Springer, 2016
Hardcover