Pages that link to "Item:Q2268474"
From MaRDI portal
The following pages link to Refinement algebra for probabilistic programs (Q2268474):
Displaying 11 items.
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Integrating stochastic reasoning into Event-B development (Q903513) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- Reasoning algebraically about loops (Q1306570) (← links)
- Reasoning about probabilistic sequential programs in a probabilistic logic (Q1424351) (← links)
- Towards a linear algebra of programming (Q1941862) (← links)
- An algebraic treatment of procedure refinement to support mechanical verification (Q2576574) (← links)
- Algebra of Monotonic Boolean Transformers (Q3098056) (← links)
- Unifying Theories of Programming with Monads (Q3455643) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703813) (← links)