search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

ZB

Keyphrases

Publications

2005

Judy Bowen, Steve Reeves
Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB (2005)
Ingo Brückner, Heike Wehrheim
Slicing Object-Z Specifications for Verification. ZB (2005)
Petra Malik, Mark Utting
CZT: A Framework for Z Tools. ZB (2005)
Ian Toyn, Andy Galloway
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ZB (2005)
Soon-Kyeong Kim, David A. Carrington
A Rigorous Foundation for Pattern-Based Design Models. ZB (2005)
John Derrick, Heike Wehrheim
Non-atomic Refinement in Z and CSP. ZB (2005)
Richard Banach, Simon Fraser
Retrenchment and the B-Toolkit. ZB (2005)
Yann Zimmermann, Diana Toma
Component Reuse in B Using ACL2. ZB (2005)
Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial
- Extended Abstract. ZB (2005)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
Checking JML Specifications with B Machines. ZB (2005)
Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
Development via Refinement in Probabilistic B - Foundation and Case Study. ZB (2005)
Michael Leuschel, Edd Turner
Visualising Larger State Spaces in Pro B. ZB (2005)
Nuno Amálio, Fiona Polack, Susan Stepney
An Object-Oriented Structuring for Z Based on Views. ZB (2005)
J. Christian Attiogbé
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. ZB (2005)
Eerke A. Boiten, John Derrick
Formal Program Development with Approximations. ZB (2005)
Frédéric Badeau, Arnaud Amelot
Using B as a High Level Programming Language in an Industrial Project: Roissy VAL. ZB (2005)
Cliff B. Jones
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. ZB (2005)
Jemima Rossmorris, Susan Stepney
Requirements as Conjectures: Intuitive DVD Menu Navigation. ZB (2005)
Steve Dunne, Stacey Conroy
Process Refinement in B. ZB (2005)
Didier Bert, Marie-Laure Potet, Nicolas Stouls
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. ZB (2005)
Pontus Boström, Marina Waldén
An Extension of Event B for Developing Grid Systems. ZB (2005)
Frank Zeyda, Bill Stoddart, Steve Dunne
A Prospective-Value Semantics for the GSL. ZB (2005)
Lindsay Groves
Practical Data Refinement for the Z Schema Calculus. ZB (2005)
Benjamin W. Long
Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z. ZB (2005)
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
. ZB (2005)
Graeme Smith, Luke Wildman
Model Checking Z Specifications Using SAL. ZB (2005)
Abdolbaghi Rezazadeh, Michael J. Butler
Some Guidelines for Formal Development of Web-Based Applications in B-Method. ZB (2005)

volume 3455, 2005

ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ZB 3455 (2005)

2003

volume 2651, 2003

ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings ZB 2651 (2003)