Formal Methods Wiki


120pages on
this wiki
Add New Page
Talk0 Share

Virtual Library
Software engineering
Formal methods

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.


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

Earlier conferences

See alsoEdit

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.

Also on Fandom

Random Wiki