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
Ct annotation
#15
Open
gabrielasolano
opened
7 years ago
gabrielasolano
commented
7 years ago
Parser of context annotations working properly.
Parser of context annotations working properly.