pick selective values from the pool values

8 views

Skip to first unread message

unread,

Nov 7, 2018, 1:08:08 AM11/7/18

to PRISM model checker developers

Hi,

Is there a way to pick selective values from pool of values when initializing the range of a variable?

Thanks,

Iram

Reply all

Reply to author

Forward

0 new messages