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