RIA: Automated Support for Verification of Concurrent and Real-Time Software

这项研究的目标是提高真实世界软件系统的安全性和可靠性。这项研究旨在开发实用技术和构建用于验证并发和实时软件的性质的自动化工具。对于这一任务，已经提出了许多技术，但对它们的性能和在实践中的适用范围知之甚少。这项研究将对两种有前景的技术和一种将两者结合在一起的新技术进行彻底的实证评估。这些技术将通过构建自动化工具并将这些工具应用于大量样本系统来进行评估。获得的信息将提供对所检查技术的优点和缺点的见解，并将帮助开发人员为其特定领域选择适当的技术。

The goal of this research is to increase the safety and reliability of real-world software systems. The research is directed toward the development of practical techniques and the construction of automated tools for verifying properties of concurrent and real-time software. Many techniques have been proposed for this task, but little is known about their performance and range of applicability in practice. This research will conduct a thorough empirical evaluation of two promising techniques and a new technique that is a hybrid of the two. The techniques will be evaluated by constructing tools that automate them and applying these tools to a large number of sample systems. The information obtained will provide insights into the strengths and weaknesses of the techniques examined and will help developers choose an appropriate technique for their particular domain.