Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)

TL;DR

This collection of papers from the DS-Event-B 2012 workshop discusses recent experiences, advances, and methodologies in developing dependable systems using Event-B, highlighting practical applications and theoretical improvements.

Contribution

It compiles recent research and practical experiences that advance the development of dependable systems in Event-B, including new techniques and case studies.

Findings

Enhanced methodologies for dependable system development

Successful case studies demonstrating Event-B applications

Identified challenges and future directions in Event-B development

Abstract

These proceedings include papers presented at the Workshop on "The experience of and advances in developing dependable systems in Event-B" held on November 13, 2012 as part of the ICFEM 2012 (Kyoto, Japan).