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.
https://hal.inria.fr/inria-00091665 Contributor : Stephan MerzConnect 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
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⟩