Formal Methods Wiki
Advertisement

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.

Conferences[]

New2.gif Next conference: ABZ 2016, Linz, Austria, 23–27 May 2016.

Earlier conferences

See also[]

Advertisement