We are thrilled to announce the official launch of VASSAL!

In today’s digital age, software is the backbone of nearly every industry, powering everything from critical infrastructure to everyday consumer devices. The global software market was valued at approximately 500 billion USD in 2023 and is expected to continue growing rapidly as more industries undergo digital transformation. However, the rapidly increasing software complexity and the growing role of Artificial Intelligence in coding bring heightened risks of vulnerabilities, bugs, and failures - posing significant potential threats to societal and economic stability - the need for verification, automated analysis, and model-based design in software engineering has never been more crucial. These advanced techniques are crucial for ensuring that the software we rely on — whether in critical applications like automotive and aerospace or in everyday digital tools — is reliable, secure, and resilient.

VASSAL (Verification and Analysis for Safety and Security of Applications in Life) is dedicated to addressing these critical challenges in software engineering. By harnessing the collective expertise of leading institutions such as the Brno University of Technology, TU Wien, CEA, the Pennsylvania State University, and Honeywell, VASSAL aims to establish a virtual center focused on advancing fundamental software development technologies. The project seeks to push the boundaries of automated verification, analysis, and design techniques. Additionally, VASSAL explores the economic impacts of these technologies, particularly for SMEs, to drive broader adoption and create lasting value in the global market. VASSAL is funded by European Union Programme Horizon Europe.

Curious about the VASSAL project?

Read more about the project, and stay tuned about all news and updates on their project website.

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.