Skip to main content
Article thumbnail
Location of Repository

Author manuscript, published in "2nd Junior Researcher Workshop on Real-Time Computing- JRWRTC 2008, Rennes: France (2008)" A Duration Pattern for Event-B Method

By Joris Rehm, Université Henri and Poincaré Nancy Loria

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

Topics: Formal method, Real-time, Event-B method, Pattern
Year: 2008
OAI identifier: oai:CiteSeerX.psu:10.1.1.372.8057
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://hal.archives-ouvertes.f... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.