Increasing the effectiveness of quantitative verification

提高定量验证的有效性

• 批准号: LX0664977
• 负责人: Prof Annabelle McIver
• 金额: $ 0.69万
• 依托单位: Macquarie University
• 依托单位国家: 澳大利亚
• 项目类别: Linkage - International
• 财政年份: 2006
• 资助国家: 澳大利亚
• 起止时间: 2006-01-01 至 2008-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/LX0664977
• 关键词: Increasing; effectiveness; 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.

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