time for model construction

11 views
Skip to first unread message

Mridu Nanda

unread,
Jul 27, 2023, 6:25:37 PM7/27/23
to PRISM model checker
Hi,

I have a relatively small model, but the time to construct it is very large. I was wondering if the time to construct the model is related to the number of lines in the PRISM file (the file in question has ~21k lines). It also has ~10k initial states. However, the total number of states and transitions, once built,  is only ~30k each. Which factor most effects the model construction time? 

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