Derivation of Z Refinement Proof Rules: forwards and backwards rules incorporating input/output refinement

Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, JAMES. C. P. & Zeyda, F., 16 Sep 2019
Article in Theoretical Computer Science
A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic
Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Probabilistic Semantics for RoboChart A Weakest Completion Approach
Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
New Opportunities for Integrated Formal Methods
Gleirscher, M., Foster, S. & Woodcock, J., 23 Oct 2019
Article in ACM Computing Surveys
MetaChem: An Algebraic Framework for Artificial Chemistries
Faulkner Rainford, P. S. M., Stepney, S. & Sebald, A. A-M., 30 Sep 2019, (Accepted/In press)
Article in Artificial Life

Research output: Working paper

Author(s)

Date	Published - 1 Dec 2002
Original language	Undefined/Unknown

Find related publications, people, projects, datasets and more using interactive charts.