Isabelle/UTP - Research Database, The University of York

By the same authors

Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F., 26 Jun 2020
Article in Science of Computer Programming
Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, JAMES. C. P. & Zeyda, F., 8 Jan 2020
Article in Theoretical Computer Science
Unifying Theories of Time with Generalised Reactive Processes
Foster, S. D., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Zeyda, F., Jul 2018
Article in Information Processing Letters
Unifying heterogeneous state-spaces with lenses
Foster, S., Zeyda, F. & Woodcock, J., 24 Oct 2016, Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. Wang, F. & Sampaio, A. (eds.). Springer Verlag, p. 295-314 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9965 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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

Isabelle/UTP: A Mechanised Theory Engineering Framework

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Published copy (DOI)

10.1007/978-3-319-14806-9_2

Author(s)

Department/unit(s)

Computer Science

Publication details

Title of host publication	Unifying Theories of Programming
Date	Published - 6 Jan 2015
Pages	21-41
Number of pages	21
Publisher	SPRINGER
Editors	David Naumann
Volume	8963
Original language	English
ISBN (Print)	978-3-319-14805-2

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Bibliographical note

© 2015, Springer International Publishing Switzerland.

Projects

COMPASS: Comprehensive Modelling for Advanced Systems of Systems
Project: Research project (funded) › Research

Discover related content

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

View graph of relations

York staff: edit these data