First Page | Document Content | |
---|---|---|
Date: 2007-07-13 07:18:18Temporal 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, UKAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source WebsiteFile Size: 314,54 KBShare Document on Facebook |