📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

Verifiably correct concurrency abstractions

Lead Research Organisation: University of Sheffield
Department Name: Computer Science

Abstract

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.

Publications

10 25 50
publication icon
McIver A (2018) Schedulers and finishers: On generating and filtering the behaviours of an event structure in Theoretical Computer Science

publication icon
Winter K (2019) Modelling concurrent objects running on the TSO and ARMv8 memory models in Science of Computer Programming

 
Description Techniques by which the correctness of concurrent algorithms can be verified.
Exploitation Route by further research
Sectors Digital/Communication/Information Technologies (including Software)