Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
27
views
15
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
7,004
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Abstract State Machines, B and Z
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
other
Author(s):
Gerhard Schellhorn
Publication date
(Print):
2008
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Network and Systems Medicine
Most cited references
15
Record
: found
Abstract
: not found
Article
: not found
The existence of refinement mappings
Martín Abadi
,
Leslie Lamport
(1991)
0
comments
Cited
80
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Abstract State Machines
Egon Börger
,
Robert Stark
(2003)
0
comments
Cited
53
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Forward and Backward Simulations
N Lynch
,
F. Vaandrager
(1995)
0
comments
Cited
30
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Pages
: 39-41
DOI:
10.1007/978-3-540-87603-8_4
SO-VID:
a2cf2320-c0c3-47b2-ba10-4c6bc43b0ab4
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity
pp. 4
The High Road to Formal Validation:
pp. 24
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
pp. 39
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
pp. 42
Model Based Refinement and the Tools of Tomorrow
pp. 57
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements
pp. 71
A Scenario-Based Validation Language for ASMs
pp. 85
Data Flow Analysis and Testing of Abstract State Machines
pp. 98
A Verified AsmL Implementation of Belief Revision
pp. 112
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation
pp. 125
On the Purpose of Event-B Proof Obligations
pp. 139
Generating Tests from B Specifications and Test Purposes
pp. 153
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
pp. 167
UseCase-Wise Development: Retrenchment for Event-B
pp. 181
Towards Modelling Obligations in Event-B
pp. 195
A Practical Single Refinement Method for B
pp. 209
The Composition of Event-B Models
pp. 223
Reconciling Axiomatic and Model-Based Specifications Reprised
pp. 237
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
pp. 251
Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols
pp. 265
Using EventB to Create a Virtual Machine Instruction Set Architecture
pp. 280
Z2SAL - Building a Model Checker for Z
pp. 294
Formal Modeling and Analysis of a Flash Filesystem in Alloy
pp. 309
Unit Testing of Z Specifications
pp. 323
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
pp. 337
Integrating Z into Large Projects Tools and Techniques
pp. 338
A First Attempt to Express KAOS Refinement Patterns with Event B
pp. 339
Verification and Validation of Web Service Composition Using Event B Method
pp. 341
Stability of Real-Time Abstract State Machines under Desynchronization
pp. 342
XML Database Transformations with Tree Updates
pp. 343
Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance
pp. 344
UML-B: A Plug-in for the Event-B Tool Set
pp. 345
BART: A Tool for Automatic Refinement
pp. 346
Model Checking Event-B by Encoding into Alloy
pp. 347
A Roadmap for the Rodin Toolset
pp. 348
Exploiting the ASM Method for Validation & Verification of Embedded Systems
pp. 349
Tool Support for the Circus Refinement Calculus
pp. 350
Separation of Z Operations
pp. 351
BSmart: A Tool for the Development of Java Card Applications with the B Method
pp. 353
From ABZ to Cryptography
pp. 354
Using ASM to Achieve Executability within a Family of DSL
pp. 355
Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)
pp. 356
Formal Verification of ASM Models Using TLA +
pp. 357
DIR 41 Case Study
pp. 358
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
pp. 359
Object Modelling in the SystemB Industrial Project
pp. 360
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
pp. 378
ABZ2008 VSR-Net Workshop
Similar content
7,004
Asm specialty handbook: stainless steels
Authors:
J.R. Davis
,
JR Davis
Proceedings of the ASME 2011 International Mechanical Engineering Congress & Exposition IMECE2011 62642
Authors:
A. Gauchía
,
V. Olmeda
,
M. J. L. Boada
…
ESCMID/ASM joint conference on drug development
Authors:
PC McGovern
,
G Moeck
,
A. Dane
See all similar
Cited by
1
Abstract Specification of the UBIFS File System for Flash Memory
Authors:
Andreas Schierl
,
Gerhard Schellhorn
,
Dominik Haneberg
…
See all cited by