GitHub repository: lesunb/CRGMToPRISM
Primary language: Java
Description: In a nutshell, GODA (Goal-Oriented Dependability Analysis) is a framework for verification of goal models through stochastic model checking, where contextual goal models are translated into PRISM and PARAM languages.