Books
Short works
- How to drive a B Machine. 2000. (In ZB 2000 )
- Communicating B Machines. 2002. (In ZB 2002 )
- Composing specifications using communication. 2003. (In ZB 2003 )
Books : reviews
Helen Treharne, Steve King, Martin C. Henson, Steve Schneider, eds.
ZB 2005: Formal Specification and Development in Z and B: Fourth International Conference of B and Z Users, Guildford, UK.
Springer. 2005
(read but not reviewed)
Contents
- Cliff B. Jones. Specification before Satisfaction: the case for research into obtaining the right specification. 2005
- (invited talk, extended abstract)
- Michael Leuschel, Edd Turner. Visualising larger state spaces in ProB. 2005
- John Derrick, Heike Wehrheim. Non-atomic refinement in Z and CSP. 2005
- Steve Dunne, Stacey Conroy. Process refinement in B. 2005
- Petra Malik, Mark Utting. CZT: a framework for Z tools. 2005
- Graeme Smith, Luke Wildman. Model checking Z specifications using SAL. 2005
- Ian Toyn, Andy Galloway. Proving properties of Stateflow models using ISO Standard Z and CADiZ. 2005
- J. Christian Attiogbe. A stepwise development of the Peterson's mutual exclusion algorithm using B Abstract Systems. 2005
- Pontus Bostrom, Marina Walden. An extension of Event B for developing Grid systems. 2005
- Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial. The challenge of probabilistic Event B. 2005
- (invited talk, extended abstract)
- Jemima Rossmorris, Susan Stepney. Requirements as conjectures: intuitive DVD menu navigation. 2005
- Frank Zeyda, Bill Stoddart, Steve Dunne. A Prospective-Value semantics for the GSL. 2005
- Richard Banach, Simon Fraser. Retrenchment and the B-toolkit. 2005
- Jean-Raymond Abrial, Dominique Cansell, Dominique Mery. Refinement and reachability in Event B. 2005
- Soon-Kyeong Kim, David Carrington. A rigorous foundation for pattern-based design models. 2005
- Nuno Amalio, Fiona Polack, Susan Stepney. An object-oriented structuring for Z based on Views. 2005
- Yann Zimmermann, Diana Toma. Component reuse in B using ACL2. 2005
- Didier Bert, Marie-Laure Potet, Nicolas Stouls. GeneSyst: a tool to reason about behavioral aspects of B Event specifications: aplication to security properties. 2005
- Benjamin W. Long. Formal verification of a type flaw attack on a security protocol using Object-Z. 2005
- Frederic Badeau, Arnaud Amelot. Using B as a high level programming language in an industrial project: Roissy VAL. 2005
- (invited talk)
- Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan. Development via refinement in Probabilistic B -- foundation and case study. 2005
- Eerke A. Boiten, John Derrick. Formal program development with approximations. 2005
- Lindsay Groves. Practical data refinement for the Z schema calculus. 2005
- Ingo Bruckner, Heike Wehrheim. Slicing Object-Z specifications for verification. 2005
- Fabrice Bouquet, Frederic Dadeau, Julien Groslambert. Checking JML specifications with B Machines. 2005
- Judy Bowen, Steve Reeves. Including design guidelines in the formal specification of interfaces in Z. 2005
- Abdolbaghi Rezazadeh, Michael J. Butler. Some guidelines for formal development of web-based applications in the B-Method. 2005