New to Prism : Markov Chain ( DTMC)

[Somnath]

Hi All,

I am new to prism, want to develop a basic markov chain ( DTMC) for
my research. Could any one please give some link to code to develop a
basic markov chain in prism.

I also want to how I can compile , error tracking and debugging the
prism code in GUI Interface.

Many thanks

with regards

SM

[Dave Parker]

See:
http://www.prismmodelchecker.org/tutorial/

More info here:
http://www.prismmodelchecker.org/about.php

Best wishes,

Dave.