HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

A method to refine time constraints in event B framework

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 : Some software or hardware system involves time constraints. When those constraints are required to express the behaviour of the system, we need to write them in the corresponding formal model. We show in this short paper the general method used to deal with time constraints with a simple application example. This applies for event B formal method which does not have specific notions for time and uses the refinement to introduce it.
Document type :
Conference papers
Complete list of metadata

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/inria-00091665
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Wednesday, September 6, 2006 - 7:25:29 PM
Last modification on : Friday, February 4, 2022 - 3:34:50 AM
Long-term archiving on: : Thursday, September 20, 2012 - 10:21:11 AM

Identifiers

  • HAL Id : inria-00091665, version 1

Collections

Citation

Joris Rehm. A method to refine time constraints in event B framework. Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy/France, pp.173-177. ⟨inria-00091665⟩

Share

Metrics

Record views

101

Files downloads

125