eXtended Reactive Modules
From LRDE
Résumé
Reactive Modules est un modèle formel utilisé pour décrire les éléments synchrones et asynchrones d'un système. PRISM est un outil de model-checking probabiliste. Il a introduit le langage PRISM, grandement basé sur le formalisme de Reactive Modules. Ce langage atteinte vite ses limites lorsqu'il s'agit de décrire des modèles conséquants. eXtended Reactive Modules est une extension du langage PRISM. Il est fournit avec un compilateur qui traduit les modules XRM en modules PRISMfournissant ainsi une solution fiable et complète pour les gens ayant besoin de décrire des systèmes conséquants.