E. Turner

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

Michael J. Butler, Michael Leuschel, Edd Turner, 2010, ASM.

Symmetry Reduced Model Checking for B

Michael J. Butler, Michael Leuschel, Edd Turner, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

Symmetry Reduction in the ProB Model Checker

Edd Turner, Michael Butler, M. Butler, 2006 .

Visualising Larger State Spaces in Pro B

Michael Leuschel, Edd Turner, M. Leuschel, 2005, ZB.