Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems

并行和分布式系统验证的先进扫描线状态空间缩减方法。分布式系统（如Internet及其应用程序）的严格设计和分析是一个困难的问题。本项目将开发新技术，以减少并发和分布式系统的计算机辅助验证所需的内存和时间。该技术将与其他减少技术相结合，以增加其适用范围。减少技术将使用电子商务和互联网使能的无线通信的重要交易协议来实现和评估。该技术也将应用于所谓的“面向对象”建模语言。

Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.