Wikia

Formal Methods Wiki

ABZ

Talk0
116pages on
this 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. ABZ2012 also incorporated VDM. It is planned for ABZ2014 to incorporate TLA. The general theme is state-based formal methods.

ConferencesEdit

New2 Next conference: ABZ2014, Toulouse, France, 2-6 June 2014.

Last conference: ABZ2012, Pisa, Italy, 2012.

Last-but-onc conference: ABZ2010, Orford, Quebec, Canada, 23–25 February 2010.

First conference: ABZ2008, London, United Kingdom, 16–18 September 2008.

See alsoEdit

Around Wikia's network

Random Wiki