The Refinement Calculator: Proof Support for Program Refinement (1997)

Cached

Download Links

by Michael Butler , Jim Grundy , Thomas Langbacka , Rimvydas Ruksenas , Joakim von Wright
Venue:Formal Methods Pacific ’97
Citations:27 - 2 self

Active Bibliography

13 A Tool for Developing Correct Programs By Refinement – D. Carrington, I. Hayes, R. Nickson, G. Watson, J. Welsh - 1996
5 A Review of Existing Refinement Tools – David Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh - 1994
1 Requirements for a Program Refinement Engine – David Carrington, David Carrington, Ian Hayes, Ian Hayes, Ray Nickson, Ray Nickson, Geoffrey Watson, Geoffrey Watson, Jim Welsh, Jim Welsh - 1995
8 Supporting Contexts in Program Refinement – Ray Nickson, Ian Hayes - 1996
8 Program Window Inference – Ray Nickson, Ian Hayes - 1995
6 Program Derivation Using the Refinement Calculator – Michael Butler, Thomas Långbacka - 1996
5 Window inference in isabelle – Mark Staples - 1995
4 A Language of Refinements – Trevor Vickers, Paul Gardiner - 1994
4 Refinement in Ergo – David Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh - 1995
12 A Tool for Data Refinement – Rimvydas Ruksenas, et al. - 1997
15 An Object-Oriented Refinement Calculus with Modular Reasoning – Mark Utting - 1992
3 Specification of a Program Derivation Editor – M. Butler, E. Hedman, P. Nilsson, R. Ruksenas, M. Walden, Y. Zhao - 1994
23 A CSP Approach To Action Systems – Michael J. Butler - 1992
55 Refinement Calculus, Part I: Sequential Nondeterministic Programs – R. J. R. Back, J. von Wright - 1989
1 The PRT User Manual - Version 1.03 – D. Carrington, I. Hayes, R. Nickson, G. Watson, J. Welsh - 1995
4 TkWinHOL: A Tool for Doing Window Inference in HOL – Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright - 1995
16 Engineering and Theoretical Underpinnings of Retrenchment – R. Banach, M. Poppleton - 2001
2 The Ergo 5 Generic Proof Engine – Mark Utting, Mark Utting - 1997
Patterns for Refinement Automation – A. Iliasov, E. Troubitsyna, L. Laibinis, A. Romanovsky - 2008