ABZ 2014: The Landing Gear Case Study
Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
Editors: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (Eds.)
Free PreviewBuy this book
- About this book
-
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
- Table of contents (12 chapters)
-
-
The Landing Gear System Case Study
Pages 1-18
-
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
Pages 19-35
-
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Pages 36-51
-
Context-Aware Verification of a Landing Gear System
Pages 52-65
-
Validation of the ABZ Landing Gear System Using ProB
Pages 66-79
-
Table of contents (12 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- ABZ 2014: The Landing Gear Case Study
- Book Subtitle
- Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
- Editors
-
- Frederic Boniol
- Virginie Wiels
- Yamine Ait Ameur
- Klaus-Dieter Schewe
- Series Title
- Communications in Computer and Information Science
- Series Volume
- 433
- Copyright
- 2014
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-07512-9
- DOI
- 10.1007/978-3-319-07512-9
- Softcover ISBN
- 978-3-319-07511-2
- Series ISSN
- 1865-0929
- Edition Number
- 1
- Number of Pages
- XII, 161
- Number of Illustrations
- 47 b/w illustrations
- Topics
