A Duration Pattern for Event-B MethodReportar como inadecuado

A Duration Pattern for Event-B Method - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.

Keywords : formal method real-time event-B method pattern

Autor: Joris Rehm -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados