Skip to Main content Skip to Navigation
Conference papers

Generating Distributed Programs from Event-B Models

Horatiu Cirstea 1, 2 Alexis Grall 1, 2 Dominique Méry 1, 3, 2
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-02997277
Contributor : Horatiu Cirstea <>
Submitted on : Tuesday, November 10, 2020 - 9:05:19 AM
Last modification on : Wednesday, November 25, 2020 - 3:35:27 AM

Links full text

Identifiers

Collections

Citation

Horatiu Cirstea, Alexis Grall, Dominique Méry. Generating Distributed Programs from Event-B Models. International Workshop on Verification and Program Transformation, Apr 2020, Dublin, Ireland. pp.110-124, ⟨10.4204/EPTCS.320.8⟩. ⟨hal-02997277⟩

Share

Metrics

Record views

30