Skip to main content
SpringerLink
Log in
Book cover

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Egon Börger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Butler
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jonathan P. Bowen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Paul Boca
    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 5238)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ABZ 2008.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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

Table of contents (48 papers)

  1. Front Matter

    Download chapter PDF

  3. Chapter 2. ASM Papers

    1. Model Based Refinement and the Tools of Tomorrow

      • Richard Banach
      Pages 42-56

    2. A Concept-Driven Construction of the Mondex Protocol Using Three Refinements

      • Gerhard Schellhorn, Richard Banach
      Pages 57-70

    3. A Scenario-Based Validation Language for ASMs

      • Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
      Pages 71-84

    4. Data Flow Analysis and Testing of Abstract State Machines

      • Alessandra Cavarra
      Pages 85-97

    5. A Verified AsmL Implementation of Belief Revision

      • Christoph Beierle, Gabriele Kern-Isberner
      Pages 98-111

    6. Direct Support for Model Checking Abstract State Machines by Utilizing Simulation

      • Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich
      Pages 112-124

  4. Chapter 3. B Papers

    1. On the Purpose of Event-B Proof Obligations

      • Stefan Hallerstede
      Pages 125-138

    2. Generating Tests from B Specifications and Test Purposes

      • Jacques Julliand, Pierre-Alain Masson, Régis Tissot
      Pages 139-152

    3. Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance

      • Frédéric Dadeau, Adrien De Kermadec, Régis Tissot
      Pages 153-166

    4. UseCase-Wise Development: Retrenchment for Event-B

      • Richard Banach
      Pages 167-180

    5. Towards Modelling Obligations in Event-B

      • Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard
      Pages 181-194

    6. A Practical Single Refinement Method for B

      • Steve Dunne, Stacey Conroy
      Pages 195-208

    7. The Composition of Event-B Models

      • Michael Poppleton
      Pages 209-222

    8. Reconciling Axiomatic and Model-Based Specifications Reprised

      • Ken Robinson
      Pages 223-236

    9. A Verifiable Conformance Relationship between Smart Card Applets and B Security Models

      • Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet
      Pages 237-250
Back to top

Other volumes

  1. Abstract State Machines, B and Z

Keywords

About this book

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation