The following pages link to A program refinement tool (Q1272759):
Displaying 18 items.
- Mechanised support for sound refinement tactics (Q432151) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- The variety of variables in automated real-time refinement (Q706517) (← links)
- Mechanizing some advanced refinement concepts (Q1309250) (← links)
- Supporting contexts in program refinement (Q1370155) (← links)
- On the desirability of mechanizing calculational proofs (Q1607098) (← links)
- The automated refinement of a requirements domain theory (Q1857309) (← links)
- ERC -- an object-oriented refinement calculus for Eiffel (Q1882788) (← links)
- Stepwise refinement of heap-manipulating code in Chalice (Q1941869) (← links)
- Refinement calculus: A basis for translation validation, debugging and certification (Q2368949) (← links)
- Assumption propagation through annotated programs (Q2628303) (← links)
- Cocktail: A tool for deriving correct programs (Q2711194) (← links)
- Designware: Software development by refinement (Q2751746) (← links)
- Generic tools via general refinement (Q2873690) (← links)
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs (Q2999325) (← links)
- Unifying program construction and modification (Q4383704) (← links)
- Computer-aided development of a real-time program (Q4798476) (← links)
- Combining Top-Down and Bottom-Up Techniques in Program Derivation (Q5743597) (← links)