Pages that link to "Item:Q1309250"
From MaRDI portal
The following pages link to Mechanizing some advanced refinement concepts (Q1309250):
Displaying 6 items.
- Mechanised support for sound refinement tactics (Q432151) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- Refinement concepts formalised in higher order logic (Q916409) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- Deriving correctness properties of compiled code (Q1309251) (← links)
- Program derivation using the refinement calculator (Q6567706) (← links)