The following pages link to A program refinement tool (Q1272759):
Displayed 7 items.
- Mechanised support for sound refinement tactics (Q432151) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- On the desirability of mechanizing calculational proofs (Q1607098) (← links)
- Assumption propagation through annotated programs (Q2628303) (← links)
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs (Q2999325) (← links)
- Computer-aided development of a real-time program (Q4798476) (← links)
- Combining Top-Down and Bottom-Up Techniques in Program Derivation (Q5743597) (← links)