Increasing the effectiveness of quantitative verification

分析复杂系统和协议性能的能力是大规模计算机应用开发的重要组成部分。提高分析任务有效性的方法将增加软件行业的竞争力，并将吸引未来的开发工作（复杂系统）到澳大利亚。这个项目的结果将对目前可用的设计工具产生直接影响；事实上，澳大利亚的机构将（部分）负责这一不断发展的领域的关键理论成果，这将加强澳大利亚作为国际计算机科学中心的全球地位。

The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.