Program Derivation Using the Refinement Calculator (1996)

Cached

Download Links

by Michael Butler , Thomas Långbacka
Venue:Theorem Proving in Higher Order Logics: 9th International Conference, volume 1125 of Lecture Notes in Computer Science
Citations:6 - 3 self

Documents Related by Co-Citation

109 Correctness preserving program refinements: proof theory and applications – R J Back - 1980
155 A Theoretical Basis for Stepwise Refinement and the Programming Calculus – J M Morris - 1989
474 Programming from Specifications – CARROLL MORGAN - 1990
1399 A Discipline of Programming – E W Dijkstra - 1976
534 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
147 A calculus of refinements for program derivations – R Back - 1988
12 A tactic driven refinement tool – Lindsay Groves, Raymond Nickson, Mark Utting
26 Ergo User Manual – Mark Utting, Mark Utting, Keith Whitwell, Keith Whitwell - 1993
13 A Tool for Developing Correct Programs By Refinement – D. Carrington, I. Hayes, R. Nickson, G. Watson, J. Welsh - 1996
19 Transformational hierarchical reasoning – J Grundy - 1996
3400 Communicating Sequential Processes – C. A. R. Hoare - 1985
8 Refinement Concepts Formalized in Higher Order Logic – R. J. R. Back, J. von Wright - 1989
21 Program Refinement by Theorem Prover – J. von Wright - 1994
19 Stepwise Refinement of Communicating Systems – Michael Butler - 1994
33 Decentralisation of Process Nets with Centralised Control – R J Back, R Kurki-Suonio - 1983
6 Verification of Distributed Real-Time and Fault-Tolerant Protocols – Jozef Hooman - 1997
7 Using PVS for an Assertional Verification of the RPC-Memory Specification Problem – Jozef Hooman - 1996
7 Process theory : semantics, specification and verification – E R Olderog - 1986
25 Correctness of real time systems by construction – Jozef Hooman