You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
8 lines
594 B
8 lines
594 B
___________________________________________________________________
|
|
Fully defined deterministic scheduler with 2 memory states:
|
|
model state: memory: choice(s) memory updates:
|
|
0: [s=0] m 0 0 {a0} model state' = 1: -> (m' = 0), model state' = 2: -> (m' = 1)
|
|
1: [s=1] m 0 1 {b} model state' = 3: -> (m' = 0)
|
|
2: [s=3] m 1 0 {} model state' = 2: -> (m' = 1)
|
|
3: [s=4] m 0 0 {} model state' = 3: -> (m' = 0)
|
|
___________________________________________________________________
|