Local copy of build model

7 views
Skip to first unread message

iram....@seecs.edu.pk

unread,
Oct 26, 2018, 3:53:43 AM10/26/18
to PRISM model checker developers
Hi,

Does prism save a local copy of the model after it is built? if yes, how can we access it?

Actually every time a property is being tested, prism builds the model from scratch especially when using the command line version. So if we have a local copy, then testing might take less time and memory can be saved as well.

Thanks,
Iram
Reply all
Reply to author
Forward
0 new messages