ABZ 2024 – 10th International Conference on Rigorous State Based Methods

Bergamo (Italy) - Jun 25, 2024 — Jun 28, 2024


The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.

Proceedings online accessible

Free access to the ABZ 2024 Proceedings until 31 July 2024: Rigorous State-Based Methods, ABZ 2024, LNCS

Supporters