Wikia

Formal Methods Wiki

ABZ

119pages on
this wiki
Talk0
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.

ConferencesEdit

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

Earlier conferences

See alsoEdit

Around Wikia's network

Random Wiki