Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10817)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): ABZ: International Conference on Rigorous State-Based Methods
Conference proceedings info: ABZ 2018.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, access via your institution.
Table of contents (35 papers)
-
Front Matter
-
Translation and Transformation
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.
The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
Keywords
- Alloy
- Artificial intelligence
- B Method
- Event-B
- Formal logic
- Formal methods
- Formal specification
- Languages
- Model checking
- Problem solving
- Programming language
- Railway control
- Requirements
- Semantics
- Software engineering
- Specifications
- State-based methods
- Theorem proving
- Tools
- Verification
Editors and Affiliations
-
University of Southampton, Southampton, United Kingdom
Michael Butler, Thai Son Hoang
-
Universität Ulm, Ulm, Germany
Alexander Raschke
-
Thales Austria GmbH, Vienna, Austria
Klaus Reichl
Bibliographic Information
Book Title: Abstract State Machines, Alloy, B, TLA, VDM, and Z
Book Subtitle: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Editors: Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-91271-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Softcover ISBN: 978-3-319-91270-7Published: 08 May 2018
eBook ISBN: 978-3-319-91271-4Published: 14 May 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 432
Number of Illustrations: 83 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Artificial Intelligence