Pages that link to "Item:Q916409"
From MaRDI portal
The following pages link to Refinement concepts formalised in higher order logic (Q916409):
Displaying 7 items.
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- Theories for mechanical proofs of imperative programs (Q1267030) (← links)
- Mechanizing some advanced refinement concepts (Q1309250) (← links)
- A specification-oriented semantics for the refinement of real-time systems (Q1331923) (← links)
- Real-time refinement in Manna and Pnueli's temporal logic (Q1815342) (← links)
- From Proposition to Program (Q2798255) (← links)
- A predicative semantics for the refinement of real-time systems (Q5890049) (← links)
