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 | SpringerLink
Skip to main content
Springer Nature Link
Log in

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Helen Treharne

    1. Department of Computing, University of Surrey,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Steve King

    1. Department of Computer Science, University of York, Heslington, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Martin Henson

    1. Department of Computer Science, University of Essex, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Steve Schneider

    1. Department of Computing, University of Surrey,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3455)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ZB 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book JPY 14299
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract—

    • Cliff B. Jones
    Pages 1-5

  3. Visualising Larger State Spaces in Pro B

    • Michael Leuschel, Edd Turner
    Pages 6-23

  4. Non-atomic Refinement in Z and CSP

    • John Derrick, Heike Wehrheim
    Pages 24-44

  5. Process Refinement in B

    • Steve Dunne, Stacey Conroy
    Pages 45-64

  6. CZT: A Framework for Z Tools

    • Petra Malik, Mark Utting
    Pages 65-84

  7. Model Checking Z Specifications Using SAL

    • Graeme Smith, Luke Wildman
    Pages 85-103

  8. Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ

    • Ian Toyn, Andy Galloway
    Pages 104-123

  9. A Stepwise Development of the Peterson’s Mutual Exclusion Algorithm Using B Abstract Systems

    • J. Christian Attiogbé
    Pages 124-141

  10. An Extension of Event B for Developing Grid Systems

    • Pontus Boström, Marina Waldén
    Pages 142-161

  11. The Challenge of Probabilistic Event B—Extended Abstract—

    • Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial
    Pages 162-171

  12. Requirements as Conjectures: Intuitive DVD Menu Navigation

    • Jemima Rossmorris, Susan Stepney
    Pages 172-186

  13. A Prospective-Value Semantics for the GSL

    • Frank Zeyda, Bill Stoddart, Steve Dunne
    Pages 187-202

  14. Retrenchment and the B-Toolkit

    • Richard Banach, Simon Fraser
    Pages 203-221

  15. Refinement and Reachability in Event_B

    • Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
    Pages 222-241

  16. A Rigorous Foundation for Pattern-Based Design Models

    • Soon-Kyeong Kim, David Carrington
    Pages 242-261

  17. An Object-Oriented Structuring for Z Based on Views

    • Nuno Amálio, Fiona Polack, Susan Stepney
    Pages 262-278

  18. Component Reuse in B Using ACL2

    • Yann Zimmermann, Diana Toma
    Pages 279-298

  19. GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties

    • Didier Bert, Marie-Laure Potet, Nicolas Stouls
    Pages 299-318

  20. Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z

    • Benjamin W. Long
    Pages 319-333
Back to top

Editors and Affiliations

  • Department of Computing, University of Surrey,  

    Helen Treharne, Steve Schneider

  • Department of Computer Science, University of York, Heslington, York, UK

    Steve King

  • Department of Computer Science, University of Essex, UK

    Martin Henson

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation