Pages that link to "Item:Q5958768"
From MaRDI portal
The following pages link to Partial correctness for probabilistic demonic programs (Q5958768):
Displaying 17 items.
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Topological cones: functional analysis in a \(T_{0}\)-setting (Q938295) (← links)
- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language (Q1023294) (← links)
- Semantics of non-deterministic possibility computation (Q1759727) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)
- Proof rules for the correctness of quantum programs (Q2455601) (← links)
- Compiling quantum programs (Q2484067) (← links)
- Probabilistic guarded commands mechanized in HOL (Q2576950) (← links)
- Semi-decidability of may, must and probabilistic testing in a higher-type setting (Q2805159) (← links)
- Remarks on testing probabilistic processes (Q2864156) (← links)
- Data Refinement with Probability in Mind (Q2994495) (← links)
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language (Q3455653) (← links)
- Predicate transformers for extended probability and non-determinism (Q3636909) (← links)
- Partial correctness for probabilistic demonic programs (Q5958768) (← links)
- Model Checking Temporal Properties of Recursive Probabilistic Programs (Q6137848) (← links)
