Generating tests from B specifications and dynamic selection criteria Jacques JulliandPierre-Alain MassonPierre-Christophe Bué Original Article 25 November 2009 Pages: 3 - 19
A data-flow approach to test multi-agent ASMs Alessandra Cavarra Original Article 25 November 2009 Pages: 21 - 41
Z2SAL: a translation-based model checker for Z John DerrickSiobhán NorthAnthony J. H. Simons OriginalPaper 02 October 2009 Pages: 43 - 71
Using Event-B to construct instruction set architectures Stephen WrightKerstin Eder Original Article 21 January 2010 Pages: 73 - 89
Proving linearizability with temporal logic Simon BäumlerGerhard SchellhornWolfgang Reif Original Article 11 November 2009 Pages: 91 - 112
Retrenchment for Event-B: UseCase-wise development and Rodin integration Richard Banach Original Article 01 December 2009 Pages: 113 - 131
On the purpose of Event-B proof obligations Stefan Hallerstede Original Article 17 November 2009 Pages: 133 - 150