search

gerasimou / EvoChecker

EvoChecker
GNU General Public License v2.0
4 stars 3 forks source link

Supporting formulae from Prism language #5

Closed gerasimou closed 3 years ago

gerasimou commented 3 years ago

Need to support the specification of formulae as specified at https://www.prismmodelchecker.org/manual/ThePRISMLanguage/FormulasAndLabels

gerasimou commented 3 years ago

Specification of formulae now supported