Formal derivation of a distributed program in event B
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Hi-index | 0.00 |
Formal methods have emerged as a rigorous framework for developing correct parallel and distributed software. However, implementation of these systems is often diffi- cult to realize. This paper proposes a number of practical solutions to problems regarding implementation of paral- lel programs developed using formal methods. We focus on implementation using industry standard software and hardware. We propose a new approach to combine par- titioning, scheduling and rollback into a convenient solu- tion for implementing parallel systems. A proof-of-concept tool, ELSA, has been developed hand in hand with our re- search to demonstrate the applicability of our methods. We also provide a theoretical foundation as justification for our methods.