Pages that link to "Item:Q1806131"
From MaRDI portal
The following pages link to Specifications, programs, and total correctness (Q1806131):
Displaying 6 items.
- A fixpoint theory for non-monotonic parallelism (Q1884887) (← links)
- Correctness, explanation and intention (Q2179349) (← links)
- Junctive compositions of specifications in total and general correctness (Q2844814) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- Proving correctness w.r.t. specifications with hidden parts (Q5096185) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)