Improving the integrity of complex software systems

软件系统是当今创建的最复杂的构件之一。复杂软件系统的可靠性和维护性问题是众所周知的。提高可靠性和降低生产成本仍然是一个重要的挑战。这个项目的目的是创建软件开发工具，允许程序员以一种可以自动检查的方式表达他们对程序行为的更多意图，以便发现预期行为和实际行为之间的差异。这将有助于构建更安全、可靠、可维护和可重用的软件，即提高复杂软件系统的完整性。

Software systems are among the most complex artifacts created today. The problems of reliability and maintenance of complex software systems are well-known. Improving reliability and lowering production cost continues to be an important challenge. The aim of this project is to create software development tools that allow programmers to express more of their intentions about program behaviour, in a way which can be automatically checked, in order to find discrepancies between intended and actual behaviour. This will facilitate the construction of software that is more secure, reliable, maintainable and reusable, that is, improve the integrity of complex software systems.