.REW - Extension de fichier
REW est MRMC Markov Reward Modèle de vérification du modèle de vérification.
Fonctionnalités | Description |
---|---|
Extension de fichier | .rew |
Format | N/A |
Développeur par | RWTH Aachen University |
Catégorie | Various data |
REW est MRMC Markov Reward Modèle de vérification du modèle de vérification.
Fonctionnalités | Description |
---|---|
Extension de fichier | .rew |
Format | N/A |
Développeur par | RWTH Aachen University |
Catégorie | Various data |
L'extension de fichier REW est associée au MRMC (Markov Reward Model Checker). Il s'agit d'un vérificateur de modèle utilisé à temps discret et à temps continu dans le programme THI. Le fichier .REW contient les définitions d'état-récompense.