The certification of the Mondex electronic purse to ITSEC Level E6 Jim WoodcockSusan StepneyJeremy Jacob Original Article 12 December 2007 Pages: 5 - 19
Mondex, an electronic purse: specification and refinement checks with the Alloy model-finding method Tahina Ramananandro Original Article 08 December 2007 Pages: 21 - 39
Verification of Mondex electronic purses with KIV: from transactions to a security protocol Dominik HanebergGerhard SchellhornWolfgang Reif Original Article 08 December 2007 Pages: 41 - 59
An incremental development of the Mondex system in Event-B Michael ButlerDivakar Yadav Original Article 08 December 2007 Pages: 61 - 77
Modeling and validating Mondex scenarios described in UML and OCL with USE Mirco KuhlmannMartin Gogolla Original Article 12 December 2007 Pages: 79 - 100
Specification, proof, and model checking of the Mondex electronic purse using RAISE Chris GeorgeAnne E. Haxthausen Original Article 05 December 2007 Pages: 101 - 116
Mechanising Mondex with Z/Eves Leo FreitasJim Woodcock Original Article 08 December 2007 Pages: 117 - 139