EB2C : A Tool for Event-B to C Conversion Support

Dominique Méry 1 Neeraj Kumar Singh 1
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : To use of formal model effectively in formal method based development process, it is highly desirable that the formal specification be converted to C code, a de facto standard in many industrial application domains, such as medical, avionics and automotive control. In this paper we present the design methodology of a tool that translates an Event-B formal specification to equivalent C code with proper correctness assurance.
Type de document :
Autre publication
Poster and Tool Demo submission, and published in a CNR Technical Report. 2010
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00540006
Contributeur : Neeraj Kumar Singh <>
Soumis le : lundi 21 février 2011 - 17:49:59
Dernière modification le : mardi 24 avril 2018 - 13:32:56
Document(s) archivé(s) le : mardi 6 novembre 2012 - 14:30:40

Fichier

cameraready-sefm2010.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00540006, version 1

Collections

Citation

Dominique Méry, Neeraj Kumar Singh. EB2C : A Tool for Event-B to C Conversion Support. Poster and Tool Demo submission, and published in a CNR Technical Report. 2010. 〈inria-00540006〉

Partager

Métriques

Consultations de la notice

264

Téléchargements de fichiers

370