Back to Results
First PageMeta Content
Temporal logic / Theoretical computer science / Mathematics / Linear temporal logic / Probability / Computation tree logic / IP / Probabilistic CTL / PRISM model checker / Markov decision process / Model checking / Markov chain


∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UK
Add to Reading List

Document Date: 2007-07-13 07:18:18


Open Document

File Size: 314,54 KB

Share Result on Facebook
UPDATE