Computing
Software engineering
Formal methods
Alloy — ASM — B — TLA — VDM — Z
The Z User Group (ZUG) supports the ABZ conference.
The 8th International ABZ Conference on Rigorous State-Based Methods, 2021 (ABZ 2021) covered various state-based approaches to formal methods, including Alloy, ASM, the B-Method, TLA, VDM, and the Z notation. ABZ 2021 was held online with ABZ 2020, postponed from 27-29 May 2020 due to the COVID pandemic, organized from Ulm↑, Germany↑, during 9-11 June 2021.
See also[]
External link[]
- ABZ 2021 conference website
- ABZ 2021 program
- ABZ 2021 proceedings (Springer LNCS 12709)