zb2005 logo

4th International Conference
of B and Z Users

University of Surrey, Guildford, UK, 13-15 April 2005
Organised by APCB and the Z User Group
line

Prize winners

 

Best paper

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry:
Refinement and Reachability in Event_B

Best student presentation

Benjamin Long:
Formal Verification of a Type Flaw Attack on a Security Protocol using Object-Z

Best poster

Jean-Marc Mota:
Development of Geometric Modelling Algorithms using Event B: a case study,
Wilson Ifill:
Achieving B State Machine Designs with Annotations

All the prizes are sponsored by BCS FACS and the poster session itself was sponsored by AWE.

 

 

 

 

 

 

line
University of Surrey logo Maintained by Rob Delicata.