0

I have big UPPAAL model. I want to analyze total number of states and transitions in my model. Is there any way to find out these things.

Thankyou and regards

Qurat
  • 64
  • 5

1 Answers1

1

Not really. In principle the number of (concrete) states is uncountable. Uppaal deals with symbolic states and the number of explored symbolic states may differ depending on the search order. Use verifyta -u to report the number of explored states.

mariusm
  • 1,483
  • 1
  • 11
  • 26
  • thanku... i am using GUI uppaal. i did not find any command-line option. where should i write this command – Qurat Apr 03 '18 at 20:59
  • 1
    verifyta utility is in bin-Win32 or bin-Linux. Use 'verifyta -h' for help. – mariusm Apr 03 '18 at 21:03
  • thanhku Sir. while analyzing explored states using 'verifyta', system reports some numerical value in seed. what is seed means... is it show maximum number of explored states – Qurat Apr 05 '18 at 14:13
  • 1
    Seed is for random number generator (for repeatability), please ignore that. – mariusm Apr 05 '18 at 15:27
  • While using command 'verifyta -u' , in order to find total states, two different states comes (1) states stored, (2)states explored. If i want to know total number number of states, should i add these two states or just consider states explored. – Qurat Apr 21 '18 at 22:50
  • 1
    There is no total. Stored refers to how much is stored in memory, explored refers to performance -- how many states processed. Explored is always greater or equal than stored because some states may be explored multiple times and sometimes some states may be not stored and thus explored several times. – mariusm Apr 22 '18 at 04:59