Research Institute in Verified Trustworthy Software Systems (VeTSS)

现代软件系统由多方构建的组件组成，从个人开源开发人员到遍布地球仪的公司和政府组织。它们用多种复杂的语言编写，依赖于复杂的第三方库的正确性，利用并发和分布来处理大量数据集，并根据提倡频繁更新源代码的新软件设计流程开发。确保软件可靠性的传统方法在这种现代背景下是不够的：现代公司移动速度快，几乎没有时间进行代码分析和测试;传统的测试方法不能很好地与并发和分布式程序;用户不愿意更新移动的应用程序，使部署软件修复无效。可扩展的技术，可以提供信任，在分析和验证的深层技术意义上，是至关重要的，不仅支持安全的软件，但也给予稳定的国际软件基础设施。这个新的研究所在验证值得信赖的软件系统（RIVeTSS）的目的是汇集和支持世界一流的英国学者和工业家在系统，安全和验证，通过对程序分析和验证的共同兴趣，在基础理论和工业强度工具的研究发展的最前沿，针对现实世界的应用。这样的程序行为分析对于正确管理现代软件系统的快速发展至关重要

Modern software systems comprise components constructed by many parties, ranging from individual open-source developers to companies and government organisations spanning the globe. They are written in multiple, complex languages, depend on the correctness of sophisticated third-party libraries, exploit concurrency and distribution to handle vast data sets, and are developed according to new software design processes that advocate frequent source code updates. Traditional methods for ensuring software reliability are inadequate in this modern context: modern companies move fast, leaving little time for code analysis and testing; traditional testing methods do not work well with concurrent and distributed programs; and the reluctance of users to update mobile apps renders the deployment of software fixes ineffective. Scalable techniques that can provide trust, in the deep technical sense of analysis and verification, are vital not only to support safe software, but also to give stability to this international software infrastructure.The purpose of this new Research Institute in Verified Trustworthy Software Systems (RIVeTSS) is to bring together and support world-class UK academics and industrialists in systems, security and verification, unified by a common interest in program analysis and verification, at the forefront of research developments in fundamental theories and industrial-strength tools, targeting real-world applications. Such analysis of program behaviour is of critical importance to proper management of the rapid evolution of modern software systems