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.
Organisations
People |
ORCID iD |
| John Derrick (Principal Investigator) |
Publications
McIver A
(2018)
Schedulers and finishers: On generating and filtering the behaviours of an event structure
in Theoretical Computer Science
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) |