A Tool for Developing Correct Programs By Refinement (1996)

Cached

Download Links

by D. Carrington , I. Hayes , R. Nickson , G. Watson , J. Welsh
Venue:PROC. BCS 7TH REFINEMENT WORKSHOP
Citations:13 - 4 self

Active Bibliography

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
4 Refinement in Ergo – David Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh - 1995
8 Program Window Inference – Ray Nickson, Ian Hayes - 1995
5 A Review of Existing Refinement Tools – David Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh - 1994
6 Program Derivation Using the Refinement Calculator – Michael Butler, Thomas LĂ„ngbacka - 1996
2 The Ergo 5 Generic Proof Engine – Mark Utting, Mark Utting - 1997
3 Specification of a Program Derivation Editor – M. Butler, E. Hedman, P. Nilsson, R. Ruksenas, M. Walden, Y. Zhao - 1994
27 The Refinement Calculator: Proof Support for Program Refinement – Michael Butler, Jim Grundy, Thomas Langbacka, Rimvydas Ruksenas, Joakim von Wright - 1997
55 Refinement Calculus, Part I: Sequential Nondeterministic Programs – R. J. R. Back, J. von Wright - 1989
1 Object Organisation in Software Environments for Formal Methods – Jun Han, Jim Welsh - 1993
3 A Tool for Refining Logic Programs – Robert Colvin, Ian Hayes, Ray Nickson, Paul Strooper - 1997
15 An Object-Oriented Refinement Calculus with Modular Reasoning – Mark Utting - 1992
A Refinement Of Communicating Processes – Sylvie Guy-RenĂ© Perrin
8 Statement inversion and strongest postcondition – R. J. R. Back, J. Wright - 1993
4 A Language of Refinements – Trevor Vickers, Paul Gardiner - 1994
6 Metavariables and Conditional Refinements in the Refinement Calculus – Raymond G. Nickson, Lindsay J. Groves - 1994
6 A Theory of Program Refinement – Ewen W. K. C. Denney - 1998
4 Providing User-Oriented Support for Software Development by Formal Methods – A.S.K. Cheng, J. Han, J. Welsh, A. Wood, Anthony S. K. Cheng, Jun Han, Jim Welsh, Andrew Wood - 1992