Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
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...
| Corporate Author: | |
|---|---|
| Other Authors: | , , , |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Edition: | 1st ed. 2008. |
| Series: | Theoretical Computer Science and General Issues ;
5238 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-540-87603-8 |
Table of Contents:
- 1. ABZ Invited Talks
- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity
- The High Road to Formal Validation:
- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
- 2. ASM Papers
- Model Based Refinement and the Tools of Tomorrow
- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements
- A Scenario-Based Validation Language for ASMs
- Data Flow Analysis and Testing of Abstract State Machines
- A Verified AsmL Implementation of Belief Revision
- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation
- 3. B Papers
- On the Purpose of Event-B Proof Obligations
- Generating Tests from B Specifications and Test Purposes
- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
- UseCase-Wise Development: Retrenchment for Event-B
- Towards Modelling Obligations in Event-B
- A Practical Single Refinement Method for B
- The Composition of Event-B Models
- Reconciling Axiomatic and Model-Based Specifications Reprised
- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols
- Using EventB to Create a Virtual Machine Instruction Set Architecture
- 4. Z Papers
- Z2SAL - Building a Model Checker for Z
- Formal Modeling and Analysis of a Flash Filesystem in Alloy
- Unit Testing of Z Specifications
- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
- 5. ABZ Short Papers
- Integrating Z into Large Projects Tools and Techniques
- A First Attempt to Express KAOS Refinement Patterns with Event B
- Verification and Validation of Web Service Composition Using Event B Method
- Stability of Real-Time Abstract State Machines under Desynchronization
- XML Database Transformations with Tree Updates
- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance
- UML-B: A Plug-in for the Event-B Tool Set
- BART: A Tool for Automatic Refinement
- Model Checking Event-B by Encoding into Alloy
- A Roadmap for the Rodin Toolset
- Exploiting the ASM Method for Validation & Verification of Embedded Systems
- Tool Support for the Circus Refinement Calculus
- Separation of Z Operations
- BSmart: A Tool for the Development of Java Card Applications with the B Method
- From ABZ to Cryptography
- Using ASM to Achieve Executability within a Family of DSL
- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)
- Formal Verification of ASM Models Using TLA?+?
- DIR 41 Case Study
- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
- Object Modelling in the SystemB Industrial Project
- 6. VSR Day
- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
- ABZ2008 VSR-Net Workshop.