Formal Methods Wiki
VL2

Virtual Library
Computing
Software engineering
Formal methods
ASMBZ

The ABZ conference covers Abstract State Machines, the B-Method, and the Z notation. The first conference was held in 2008 at the British Computer Society offices in London, UK, under the auspices of the BCS-FACS Specialist Group. The ABZ 2010 conference also incorporated the Alloy language and tool. ABZ 2012 also incorporated VDM. ABZ 2014 incorporated TLA. The general theme is state-based formal methods. The conference was renamed fr ABZ 2020, although this was delayed till 2021 and held online with ABZ 2021 due to the COVID-19 pandemic.

Conferences[]

New2 Next conference: ABZ 2023, Nancy, France, 30 May - 2 June 2023.

Earlier conferences

See also[]

External links[]