Advances in the Verification of Communication Protocols

澳大利亚的经济越来越依赖于许多复杂的分布式系统。一些重要的例子是互联网，电子商务，金融网络，运输系统，医疗保健网络，电信网络，国防系统，智能制造系统和组织工作流程管理系统。这些系统的故障可能导致严重的财务损失（在银行应用中）和生命损失或安全关键领域（医疗，运输和国防应用）的严重事故。因此，正确设计分布式系统至关重要。该项目旨在推进验证分布式系统将正确工作的最新技术。

Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.