Formal Methods Wiki
VL2

Virtual Library
Computing
Software engineering
Formal methods ASMAlloy
BZ

Zug-logo-small

The Z User Group (ZUG) supports the ABZ conference.


ABZ 2010


Second International Conference on Abstract State Machines, Alloy, B and Z



The International Conference on Abstract State Machines, Alloy, B and Z (ABZ 2010) covered various state-based approaches to formal methods, specifically ASM, Alloy (for the first time), the B-Method, and the Z notation. It was held at Orford, Quebec, Canada, in February 2010.

A brief report on the ABZ 2010 conference by Steve Reeves is available.

See also[]

External links[]