Rigorous state-based methods : 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings / Alexander Raschke, Dominique Méry (eds.).
ABZ (Conference) (8th : 2021 : Online); Raschke, Alexander., editor.; Méry, Dominique. editor.
2021
Q325.5 .A29 2021
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Rigorous state-based methods : 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings / Alexander Raschke, Dominique Méry (eds.).
Meeting Name ABZ (Conference) (8th : 2021 : Online)
ISBN 9783030775438 (electronic bk.)
3030775437 (electronic bk.)
9783030775445 (print)
3030775445
9783030775421
3030775429
DOI https://doi.org/10.1007/978-3-030-77543-8
Published Cham : Springer, [2021]
Copyright ©2021
Language English
Description 1 online resource : illustrations (chiefly color)
Item Number 10.1007/978-3-030-77543-8 doi
Call Number Q325.5 .A29 2021
Dewey Decimal Classification 006.3/1
Summary This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
Note International conference proceedings.
Access Note Access limited to authorized users.
Digital File Characteristics text file
PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed May 27, 2021).
Added Author Raschke, Alexander., editor.
Méry, Dominique. editor.
Series Lecture notes in computer science ; 12709.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Regular Research Articles
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams
Towards ASM-based automated formal verification of security protocols
Verifying System-level Security of a Smart Ballot Box
Proving the safety of a Sliding Window Protocol with Event B
Event-B formalization of Event-B contexts
Validation of Formal Models by Timed Probabilistic Simulation
Short Articles
Sterling: A Web-based Visualizer for Relational Modeling Languages
Extending ASMETA with time features
About the Concolic Execution and Symbolic ASM Function Promotion in CASM
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection
The CamilleX Framework for the Rodin Platform
Extensible Record Structures in Event-B
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B
Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application
Short Articles of the PhD-Symposium (Work in Progress)
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework
A modeling and verification framework for security protocols
Formalizing the Institution for Event-B in the Coq Proof Assistant.

Browse Subjects

Show more subjects...

Statistics

from
to
Export