diff options
Diffstat (limited to 'Assignment2/src/die.prism')
| -rw-r--r-- | Assignment2/src/die.prism | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Assignment2/src/die.prism b/Assignment2/src/die.prism index 4c8d0de..45442d6 100644 --- a/Assignment2/src/die.prism +++ b/Assignment2/src/die.prism @@ -1,12 +1,10 @@ dtmc -const double p; - module die s : [0..7] init 0; d : [0..6] init 0; - [] s=0 -> p : (s'=1) + (1-p) : (s'=2); + [] s=0 -> 0.5 : (s'=1) + 0.5 : (s'=2); [] s=1 -> 0.5 : (s'=3) + 0.5 : (s'=4); [] s=2 -> 0.5 : (s'=5) + 0.5 : (s'=6); [] s=3 -> 0.5 : (s'=1) + 0.5 : (s'=7) & (d'=1); |