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
47
views
0
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,828
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Abstract State Machines, B and Z
other
Editor(s):
Egon Börger
,
Michael Butler
,
Jonathan P. Bowen
,
Paul Boca
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
Point-Of-Care Testing for Hepatitis
Author and book information
Book
ISBN (Print):
978-3-540-87602-1
ISBN (Electronic):
978-3-540-87603-8
Publication date (Print):
2008
DOI:
10.1007/978-3-540-87603-8
SO-VID:
f896c926-0dfa-4f6b-9395-cdd53740939e
License:
http://www.springer.com/tdm
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
3,828
A\(^3\)COSMOS: Measuring the cosmic dust-attenuated star formation rate density at \(4 < z < 5\)
Authors:
Benjamin Magnelli
,
Sylvia Adscheid
,
Tsan-Ming Wang
…
Cysteine proteases bleomycin hydrolase and cathepsin Z mediate N-terminal proteolysis and toxicity of mutant huntingtin.
Authors:
Elaine Waldron-Roby
,
Christopher A. Ross
,
Ekaterine Chighladze
…
Acquired genomic alterations in circulating tumor DNA from patients receiving abemaciclib alone or in combination with endocrine therapy. (Abstract)
Authors:
See all similar
Cited by
1
Formal Methods Communities of Practice: A Survey of Personal Experience
Authors:
Jonathan Bowen
,
Peter T. Breuer
See all cited by