Theories and tools for the verification of complex distributed systems

这个项目将探索现有的正式方法来设计和验证复杂的分布式系统，并将提出新的模型和相关的验证技术，以更好地处理系统的异质性和复杂性。特别地，项目将考虑分布式系统中不同组件可能具有的各种验证关注点（包括定量的），并将采用系统的方法通过组合性和抽象来处理复杂性。一个可能的探索途径是使用协代数作为复杂动力系统的一般模型，但也将考虑其他组合方法来建模复杂系统。项目的后期阶段可能涉及原型工具的开发。

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.