Skip to Main content Skip to Navigation
Conference papers

A Rodin plugin for quantitative timed models

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 : We propose to develop a Rodin plug-in that experiments a systematic use of a refinement pattern. The goal of this pattern is to help in modeling of timed system in Event-B. By timed system we mean system with quantitative temporal constraints and properties.
Document type :
Conference papers
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/inria-00431246
Contributor : Joris Rehm <>
Submitted on : Wednesday, November 11, 2009 - 9:31:24 AM
Last modification on : Friday, February 26, 2021 - 3:28:05 PM
Long-term archiving on: : Tuesday, October 16, 2012 - 1:45:15 PM

File

time_plugin.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00431246, version 1

Collections

Citation

Joris Rehm. A Rodin plugin for quantitative timed models. Rodin User and Developer Workshop, Jul 2009, Southampton, United Kingdom. ⟨inria-00431246⟩

Share

Metrics

Record views

240

Files downloads

240