eXtended Reactive Modules

From LRDE

Revision as of 17:07, 9 January 2018 by Bot (talk | contribs) (Created page with "{{CSIReport | authors = Benoît Sigoure | title = eXtended Reactive Modules | year = 2006 | abstract = Reactive Modules is a formal model used to represent synchronous and asy...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Abstract

Reactive Modules is a formal model used to represent synchronous and asynchronous components of a system. PRISM is a widely used probabilistic model-checker. It introduced the PRISM language, highly based on the Reactive Modules formalism. This language quickly reaches its limit when it comes to large models. eXtended Reactive Modules (XRM) is an extension of the PRISM language. It comes with a compiler that translate XRM modules in PRISM modules, thus providing a comprehensive and reliable solution for people willing to write large models.