Abstract state machines, alloy, B and Z : second international conference, ABZ 2010 : Orford, QC, Canada, February 22-25, 2010 : proceedings. : tutorials on alloy and BART (B automatic refinement tool) : workshop on tool building in formal methods (WTBFM 2010) : Feb 2010, Orford, Canada.