Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Editors: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.
The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
- Table of contents (34 chapters)
-
-
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets
Pages 3-34
-
A Universal Control Construct for Abstract State Machines
Pages 37-53
-
Encoding TLA$$^{+}$$ into Many-Sorted First-Order Logic
Pages 54-69
-
Proving Determinacy of the PharOS Real-Time Operating System
Pages 70-85
-
A Rigorous Correctness Proof for Pastry
Pages 86-101
-
Table of contents (34 chapters)
- Download Preface 1 PDF (48.2 KB)
- Download Sample pages 2 PDF (446.2 KB)
- Download Table of contents PDF (81 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Book Subtitle
- 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
- Editors
-
- Michael Butler
- Klaus-Dieter Schewe
- Atif Mashkoor
- Miklos Biro
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 9675
- Copyright
- 2016
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-33600-8
- DOI
- 10.1007/978-3-319-33600-8
- Softcover ISBN
- 978-3-319-33599-5
- Edition Number
- 1
- Number of Pages
- XXI, 426
- Number of Illustrations
- 143 b/w illustrations
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.
