Back to Results
First PageMeta Content
Theoretical computer science / Temporal logic / Logic in computer science / Linear temporal logic / Finite automata / PRISM model checker / Randomized algorithm / Computation tree logic / PP / Model checking / Formal verification / Probabilistic automaton


Assume-Guarantee Verification for Probabilistic Systems Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2
Add to Reading List

Document Date: 2010-04-16 06:37:28

Open Document

File Size: 501,43 KB

Share Result on Facebook