Probabilistic Model Checking of Randomised Distributed ... - PRISM

12.07.2015 • Views

Share Embed Flag

Probabilistic Model Checking of Randomised Distributed ... - PRISM

Probabilistic Model Checking of Randomised Distributed ... - PRISM

DOWNLOAD ePAPER

prismmodelchecker.org

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

START NOW

<strong>PRISM</strong> Screenshots

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

Probabilistic Model Checking for Systems Biology - PRISM

Discrete-Time Markov Chains - PRISM

Probabilistic Model Checking - References - PRISM

Markov Decision Processes - PRISM

Part 1 - Prism

<strong>PRISM</strong> Screenshots

<strong>PRISM</strong> Screenshots

Page 1 and 2: Probabilistic Model Checking ofRand
Page 3 and 4: Overview• Tool support for probab
Page 5 and 6: Probabilistic model checkers• PRI
Page 7 and 8: PRISM - Functionality• Constructs
Page 9 and 10: PRISM - Functionality• Graphical
Page 11 and 12: PRISM modelling language• Simple,
Page 13 and 14: PRISM - Property specifications•
Page 15 and 16: Probability that 10%of gate outputs
Page 17: PRISM Demo
Page 21 and 22: Efficiency - Symbolic techniques•
Page 23 and 24: Ongoing research areas• Abstracti
Page 25 and 26: References• [dAHJ01] L. de Alfaro