search

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)
6 stars 0 forks source link

Remove variables from SimB #313

Open favu100 opened 1 year ago

favu100 commented 1 year ago

We should remove variables from SimB as this makes the caching implementation harder, and also avoids properties which should be verified. Therefore, one should refine a B model to add new variables and events that are required for simulation.

As far as I know, the AMAN case study is the only project that makes use of this feature

favu100 commented 5 months ago

Discuss whether this feature should be removed or not. But currently, it is useful for the AMAN case study. As SimB's future work also aims to formalize its semantics, we should rather not remove SimB variables