Cost-effective use of assertions in the verification and validation of distributed and real-time systems

该项目将加强澳大利亚在经验软件工程和软件验证和确认研究方面的世界领先地位，从而加强澳大利亚在信通技术研究和创新方面的优势。通过当地一家软件验证和确认公司的参与以及通过工业案例研究，该项目还将提高当地工业的软件验证和确认能力，使他们能够节省软件开发成本，并提高所生产软件的质量。

The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and validation capabilities of local industry, allow them to save software development costs, and improve the quality of the software produced.