A Duration Pattern for Event-B Method

Joris Rehm 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Event-B is a formal method used to do Model Driven Engineering certified by theorem proving. We propose a pattern to handle duration over a predicate in this method which originally does not have particular tool to specify and reason about real-time properties.
Type de document :
Communication dans un congrès
2nd Junior Researcher Workshop on Real-Time Computing - JRWRTC 2008, Oct 2008, Rennes, France
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00336320
Contributeur : Joris Rehm <>
Soumis le : lundi 3 novembre 2008 - 15:21:39
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Document(s) archivé(s) le : mardi 9 octobre 2012 - 14:51:10

Fichier

article.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00336320, version 1

Collections

Citation

Joris Rehm. A Duration Pattern for Event-B Method. 2nd Junior Researcher Workshop on Real-Time Computing - JRWRTC 2008, Oct 2008, Rennes, France. 〈hal-00336320〉

Partager

Métriques

Consultations de la notice

242

Téléchargements de fichiers

112