diff options
Diffstat (limited to 'Assignment2/src/die.prism')
| -rw-r--r-- | Assignment2/src/die.prism | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/Assignment2/src/die.prism b/Assignment2/src/die.prism new file mode 100644 index 0000000..4c8d0de --- /dev/null +++ b/Assignment2/src/die.prism @@ -0,0 +1,19 @@ +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=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); + [] s=4 -> 0.5 : (s'=7) & (d'=2) + 0.5 : (s'=7) & (d'=3); + [] s=5 -> 0.5 : (s'=7) & (d'=4) + 0.5 : (s'=7) & (d'=5); + [] s=6 -> 0.5 : (s'=2) + 0.5 : (s'=7) & (d'=6); + [] s=7 -> 1 : (s'=7); +endmodule + +label "done" = s=7; |