The following pages link to Probabilistic verification (Q1803654):
Displaying 11 items.
- Quantitative Kleene coalgebras (Q532394) (← links)
- A hierarchy of probabilistic system types (Q703518) (← links)
- On fairness and randomness (Q840697) (← links)
- Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL (Q1395428) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Probabilistic temporal logics via the modal mu-calculus (Q2566296) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- On the verification of qualitative properties of probabilistic processes under fairness constraints. (Q2583540) (← links)
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC (Q3021957) (← links)
- Liveness Reasoning with Isabelle/HOL (Q3183549) (← links)
