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

Update README.md #10

Closed gabrielasolano closed 8 years ago

gabrielasolano commented 8 years ago

Adicionada seção para listar sintaxe utilizada em goals e tasks.