Functional Tests and Grammar Update

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

Functional Tests and Grammar Update #26

Closed gabrielasolano closed 6 years ago

gabrielasolano commented 6 years ago

Grammar updated to correct issue (N%k was being used instead of N#k). Functional tests updated for better coding practice.