Theories and tools for the verification of complex distributed systems
Lead Research Organisation:
University of Southampton
Department Name: Sch of Electronics and Computer Sci
Abstract
This project will explore existing formal approaches to designing and verifying complex distributed systems, and will propose new models and associated verification techniques that better tackle system heterogeneity and complexity. In particular, the project will consider the variety of verification concerns (including quantitative ones) different components in a distributed system may have, and will take a systematic approach to tackling complexity through compositionality and abstraction. One possible avenue to explore is the use of coalgebras as general models for complex dynamical systems, but other compositional approaches to modelling complex systems will also be considered. The latter stages of the project are likely to involve the development of prototype tools.
Organisations
People |
ORCID iD |
Corina Cirstea (Primary Supervisor) | |
Aran Hakki (Student) |
Studentship Projects
Project Reference | Relationship | Related To | Start | End | Student Name |
---|---|---|---|---|---|
EP/R513325/1 | 01/10/2018 | 30/09/2023 | |||
2891068 | Studentship | EP/R513325/1 | 05/05/2020 | 05/11/2023 | Aran Hakki |
EP/T517859/1 | 01/10/2020 | 30/09/2025 | |||
2891068 | Studentship | EP/T517859/1 | 05/05/2020 | 05/11/2023 | Aran Hakki |