Fandom

Formal Methods Wiki

ABZ

120pages on
this wiki
Add New Page
Talk0 Share

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

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

Also on Fandom

Random Wiki