Derivation of Z Refinement Proof Rules: forwards and backwards rules incorporating input/output refinement - Research Database, The University of York

By the same authors

Reservoir computing quality: connectivity and topology
Dale, M., O'Keefe, S., Sebald, A., Stepney, S. & Trefzer, M. A., 15 Dec 2020
Article in Natural Computing
The representational entity in physical computing
Stepney, S. & Kendon, V., 18 Sep 2020
Article in Natural Computing
Learning Safe Neural Network Controllers with Barrier Certificates
Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 18 Sep 2020, (CoRR).
Research output: Working paper
Automated Verification of Reactive and Concurrent Programs by Calculation
Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 27 Jul 2020
Article in ArXiv e-prints
Horizontal Gene Transfer for Recombining Graphs
Plump, D., Atkinson, T. & Stepney, S., 15 Jul 2020
Article in Genetic programming and evolvable machines

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

Research output: Working paper

Links

http://www-users.cs.york.ac.uk/~susan/bib/ss/z/347.pdf

Author(s)

Department/unit(s)

Computer Science

Publication details

Date	Published - 1 Dec 2002
Original language	Undefined/Unknown

Discover related content

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

View graph of relations

York staff: edit these data