issues
search
lesunb
/
CRGMToPRISM
In a nutshell, GODA (Goal-Oriented Dependability Analysis) is a framework for verification of goal models through probabilistic model checking, where contextual goal models are translated into PRISM and PARAM languages.
2
stars
6
forks
source link
OR-Decomposition of tasks is now correct.
#24
Closed
gabrielasolano
closed
6 years ago
gabrielasolano
commented
6 years ago
PRISM modules include the or-decomposed tasks.
PRISM modules include the or-decomposed tasks.