Generating Distributed Programs from Event-B Models

Horatiu Cirstea; Alexis Grall; Dominique Méry

doi:10.4204/EPTCS.320.8

Communication Dans Un Congrès Année : 2020

Generating Distributed Programs from Event-B Models

(1, 2) , (1, 2) , (1, 3, 2)

1
2
3

Horatiu Cirstea

Fonction : Auteur
PersonId : 830963

Proof-oriented development of computer-based systems

Modeling and Verification of Distributed Algorithms and Systems

Alexis Grall

Fonction : Auteur

Proof-oriented development of computer-based systems

Modeling and Verification of Distributed Algorithms and Systems

Dominique Méry

Fonction : Auteur
PersonId : 1227
IdHAL : dominiquemery
ORCID : 0000-0001-5231-6611
IdRef : 076035085

Proof-oriented development of computer-based systems

TELECOM Nancy

Modeling and Verification of Distributed Algorithms and Systems

CV

Domaines

Langage de programmation [cs.PL]

Horatiu Cirstea : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02997277

Soumis le : mardi 10 novembre 2020-09:05:19

Dernière modification le : lundi 11 septembre 2023-17:41:18

Dates et versions

hal-02997277 , version 1 (10-11-2020)

Identifiants

HAL Id : hal-02997277 , version 1
DOI : 10.4204/EPTCS.320.8

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM

47 Consultations

0 Téléchargements

Generating Distributed Programs from Event-B Models

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager