Partial correctness for probabilistic demonic programs

Theoretical Computer Science

Volumn 266, Issue 1-2, 2001, Pages 513-541

  McIver, A K ^a   Morgan, Carroll ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Partial correctness; Probability; Program logic; Verification

Indexed keywords

COMPUTER PROGRAM LISTINGS; PROBABILISTIC LOGICS; SEMANTICS;

PARTIAL CORRECTNESS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0035817832     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00208-5     Document Type: Article

References (27)

1. Domain theory
2. Domain theory and integration
3. The generalised Riemann integral on locally compact spaces
4. Pcf extended with real numbers
5. A probabilistic dynamic logic
6. Probabilistic models for the guarded command language
7. Programs, recursion and unbounded choice
8. Probabilistic nondeterminism
9. Semantics of probabilistic programs
10. A probabilistic PDL
11. Demonic, angelic and unbounded choices in probabilistic programs
12. Proof rules for probabilistic loops
13. Unifying wp and wlp
14. Probabilistic predicate transformers
15. A generalization of Dijkstra's calculus
16. On randomization in sequential and distributed systems