Included small DTMC example along with its analysis result using PRISM.

12 years ago · f6e70a6ee6
1 changed files with 3 additions and 0 deletions
--- a/examples/dtmc/synchronous_leader/leader4_8.result
+++ b/examples/dtmc/synchronous_leader/leader4_8.result
@ -0,0 +1,3 @@
+P=? [ true U (s1=3&s2=3&s3=3&s4=3) ]:
+Result
+1.0