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

A Manifesto for Applicable Formal Methods
Gleirscher, M., Pol, J. V. D. & Woodcock, J., 23 Dec 2021.
Research output: Working paper › Preprint
Editorial
Fantechi, A., Haxthausen, A. E. & Woodcock, J., 21 Dec 2021
Editorial in Formal Aspects of Computing
Proceedings First Workshop on Applicable Formal Methods
Gleirscher, M., Pol, J. V. D. & Woodcock, J., 15 Nov 2021
Article in Electronic Proceedings in Theoretical Computer Science
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
Ye, K., Foster, S. & Woodcock, J., 22 Oct 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 465-482 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Probabilistic modelling and verification using RoboChart and PRISM
Ye, K., Cavalcanti, A., Foster, S., Miyazawa, A. & Woodcock, J., 3 Oct 2021
Article in Software and Systems Modeling

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.