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

ZB2005: Accepted Papers

Z Track

Paper No. Title Author(s)
Z2 An Object-Oriented Structuring for Z based on Views Nuno Amalio, Fiona Polack, Susan Stepney
Z7 Requirements as conjectures: intuitive DVD menu navigation Jemima Rossmorris, Susan Stepney
Z8 Non-atomic refinement in Z and CSP John Derrick,Heike Wehrheim
Z9 Formal Program Development with Approximations Eerke Boiten, John Derrick
Z11 Including Design Guidelines in the Formal Specification of Interfaces in Z Judy Bowen, Steve Reeves
Z13 Practical Data Refinement for the Z Schema Calculus Lindsay Groves
Z15 Formal Verification of a Type Flaw Attack on a Security Protocol using Object-Z Benjamin Long
Z16 A Rigorous Foundation for Pattern Based Design Models Soon-Kyeong Kim, David Carrington
Z17 CZT---The Community Z Tools Project Mark Utting
Z18 Model checking Z specifications using SAL Graeme Smith, Luke Wildman
Z20 Slicing Object-Z specifications for verification Ingo Brückner, Heike Wehrheim
Z22 Proving Properties of Stateflow Models using ISO Standard Z and CADiZ Ian Toyn, Andy Galloway

B Track

Paper No. Title Author(s)
B1 Retrenchment and the B-Toolkit Richard Banach, Simon Fraser
B4 Development via Refinement in Probabilistic B --- Foundation and Case Study Thai Son Hoang, Zhendong Jin, Ken Robinson, Carroll Morgan, Annabelle McIver
B5 GeneSyst: a tool to reason about behavioral aspects of B event specifications. Application to security properties Didier Bert, Marie-Laure Potet, Nicolas Stouls
B6 Checking JML specifications with B machines Fabrice Bouquet, Frederic Dadeau, Julien Groslambert
B7 A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems J. Christian Attiogbé
B17 Component reuse in B using ACL2 Yann Zimmermann, Diana Toma
B18 Visualising Larger State Spaces in ProB Michael Leuschel, Ed Turner
B20 Some Guidelines for Formal Development of Web-based Applications in B-Method Abdolbaghi Rezazadeh, Michael Butler
B22 Refinement and Reachability in Event_B Jean-Raymond ABRIAL, Dominique Cansell, Dominique Méry
B27 An extension of Event B for developing grid systems Pontus Boström, Marina Waldén
B31 Process refinement in B Steve Dunne, Stacey Conroy
B32 A Prospective-value Semantics for the GSL Frank Zeyda, Bill Stoddart, Steve Dunne



University of Surrey logo Maintained by Rob Delicata.