Abstract State Machines, B and Z

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

Editors:

ISBN: 978-3-540-87602-1 (Print) 978-3-540-87603-8 (Online)
Download Book (7,474 KB) As a courtesy to our readers the eBook is provided DRM-free. However, please note that Springer uses effective methods and state-of-the art technology to detect, stop, and prosecute illegal sharing to safeguard our authors’ interests.

Table of contents (48 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Chapter 1. ABZ Invited Talks

    1. Book Chapter

      Pages 1-3

      Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity

    2. Book Chapter

      Pages 4-23

      The High Road to Formal Validation:

    3. Book Chapter

      Pages 24-38

      Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach

    4. Book Chapter

      Pages 39-41

      Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)

  3. Chapter 2. ASM Papers

    1. Book Chapter

      Pages 42-56

      Model Based Refinement and the Tools of Tomorrow

    2. Book Chapter

      Pages 57-70

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

    3. Book Chapter

      Pages 71-84

      A Scenario-Based Validation Language for ASMs

    4. Book Chapter

      Pages 85-97

      Data Flow Analysis and Testing of Abstract State Machines

    5. Book Chapter

      Pages 98-111

      A Verified AsmL Implementation of Belief Revision

    6. Book Chapter

      Pages 112-124

      Direct Support for Model Checking Abstract State Machines by Utilizing Simulation

  4. Chapter 3. B Papers

    1. Book Chapter

      Pages 125-138

      On the Purpose of Event-B Proof Obligations

    2. Book Chapter

      Pages 139-152

      Generating Tests from B Specifications and Test Purposes

    3. Book Chapter

      Pages 153-166

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

    4. Book Chapter

      Pages 167-180

      UseCase-Wise Development: Retrenchment for Event-B

    5. Book Chapter

      Pages 181-194

      Towards Modelling Obligations in Event-B

    6. Book Chapter

      Pages 195-208

      A Practical Single Refinement Method for B

    7. Book Chapter

      Pages 209-222

      The Composition of Event-B Models

    8. Book Chapter

      Pages 223-236

      Reconciling Axiomatic and Model-Based Specifications Reprised

    9. Book Chapter

      Pages 237-250

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

    10. Book Chapter

      Pages 251-264

      Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols

previous Page of 3