GUI - consider adding generation of the data

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

GUI - consider adding generation of the data #41

Closed xhajnal closed 3 years ago

xhajnal commented 5 years ago

Code for Simulating the runs in the PRISM is done, the problematic part is to verify if the run satisfies given property. (for limited examples it is easy - e.g. checking the value of a variable (b) in the last state in the case study) I haven't found this functionality in PRISM.