Methods
Conferences
Case Studies
Publications
Keynotes
Committee
ABZ 2010 (Orford, Canada)
Date
Jun 1, 2010 — Jun 4, 2010
Event
2nd International Conference on ASM, Alloy, B, and Z
Location
Orford, Canada
Keynotes:
Daniel Jackson
A Structure for Dependability Arguments
Sofiène Tahar
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
ABZ'10
Related
A Basis for Feature-Oriented Modelling in Event-B
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
A Structure for Dependability Arguments
Cite
×