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