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.