A Duration Pattern for Event-B MethodReport as inadecuate




A Duration Pattern for Event-B Method - Download this document for free, or read online. Document in PDF available to download.

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





Author: Joris Rehm -

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



DOWNLOAD PDF




Related documents