↓ Skip to main content
What is this page? Embed badge

Abstract State Machines, B and Z

Overview of attention for book
Cover of 'Abstract State Machines, B and Z'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity
  3. Altmetric Badge
    Chapter 2 The High Road to Formal Validation:
  4. Altmetric Badge
    Chapter 3 Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
  5. Altmetric Badge
    Chapter 4 Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
  6. Altmetric Badge
    Chapter 5 Model Based Refinement and the Tools of Tomorrow
  7. Altmetric Badge
    Chapter 6 Abstract State Machines, B and Z
  8. Altmetric Badge
    Chapter 7 A Scenario-Based Validation Language for ASMs
  9. Altmetric Badge
    Chapter 8 Data Flow Analysis and Testing of Abstract State Machines
  10. Altmetric Badge
    Chapter 9 A Verified AsmL Implementation of Belief Revision
  11. Altmetric Badge
    Chapter 10 Direct Support for Model Checking Abstract State Machines by Utilizing Simulation
  12. Altmetric Badge
    Chapter 11 On the Purpose of Event-B Proof Obligations
  13. Altmetric Badge
    Chapter 12 Generating Tests from B Specifications and Test Purposes
  14. Altmetric Badge
    Chapter 13 Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
  15. Altmetric Badge
    Chapter 14 UseCase-Wise Development: Retrenchment for Event-B
  16. Altmetric Badge
    Chapter 15 Towards Modelling Obligations in Event-B
  17. Altmetric Badge
    Chapter 16 A Practical Single Refinement Method for B
  18. Altmetric Badge
    Chapter 17 The Composition of Event-B Models
  19. Altmetric Badge
    Chapter 18 Reconciling Axiomatic and Model-Based Specifications Reprised
  20. Altmetric Badge
    Chapter 19 A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
  21. Altmetric Badge
    Chapter 20 Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols
  22. Altmetric Badge
    Chapter 21 Using EventB to Create a Virtual Machine Instruction Set Architecture
  23. Altmetric Badge
    Chapter 22 Z2SAL - Building a Model Checker for Z
  24. Altmetric Badge
    Chapter 23 Formal Modeling and Analysis of a Flash Filesystem in Alloy
  25. Altmetric Badge
    Chapter 24 Abstract State Machines, B and Z
  26. Altmetric Badge
    Chapter 25 Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
  27. Altmetric Badge
    Chapter 26 Integrating Z into Large Projects Tools and Techniques
  28. Altmetric Badge
    Chapter 27 A First Attempt to Express KAOS Refinement Patterns with Event B
  29. Altmetric Badge
    Chapter 28 Verification and Validation of Web Service Composition Using Event B Method
  30. Altmetric Badge
    Chapter 29 Stability of Real-Time Abstract State Machines under Desynchronization
  31. Altmetric Badge
    Chapter 30 XML Database Transformations with Tree Updates
  32. Altmetric Badge
    Chapter 31 Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance
  33. Altmetric Badge
    Chapter 32 UML-B: A Plug-in for the Event-B Tool Set
  34. Altmetric Badge
    Chapter 33 BART: A Tool for Automatic Refinement
  35. Altmetric Badge
    Chapter 34 Model Checking Event-B by Encoding into Alloy
  36. Altmetric Badge
    Chapter 35 A Roadmap for the Rodin Toolset
  37. Altmetric Badge
    Chapter 36 Exploiting the ASM Method for Validation & Verification of Embedded Systems
  38. Altmetric Badge
    Chapter 37 Tool Support for the Circus Refinement Calculus
  39. Altmetric Badge
    Chapter 38 Separation of Z Operations
  40. Altmetric Badge
    Chapter 39 BSmart: A Tool for the Development of Java Card Applications with the B Method
  41. Altmetric Badge
    Chapter 40 From ABZ to Cryptography
  42. Altmetric Badge
    Chapter 41 Using ASM to Achieve Executability within a Family of DSL
  43. Altmetric Badge
    Chapter 42 Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)
  44. Altmetric Badge
    Chapter 43 Formal Verification of ASM Models Using TLA +
  45. Altmetric Badge
    Chapter 44 DIR 41 Case Study
  46. Altmetric Badge
    Chapter 45 FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
  47. Altmetric Badge
    Chapter 46 Object Modelling in the SystemB Industrial Project
  48. Altmetric Badge
    Chapter 47 Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
  49. Altmetric Badge
    Chapter 48 ABZ2008 VSR-Net Workshop
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
4 Wikipedia pages

Citations

dimensions_citation
10 Dimensions

Readers on

mendeley
1 Mendeley
Summary Wikipedia Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Abstract State Machines, B and Z
Published by
Springer, Berlin, Heidelberg, January 2008
DOI 10.1007/978-3-540-87603-8
ISBNs
978-3-54-087602-1, 978-3-54-087603-8
Editors

Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Portugal 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor 2 200%
Student > Master 1 100%
Student > Ph. D. Student 1 100%
Professor > Associate Professor 1 100%
Readers by discipline Count As %
Computer Science 5 500%

This page is provided by Altmetric.