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 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.
The VASSAL project is dedicated to addressing these critical challenges in software engineering. By harnessing the collective expertise of leading institutions such as Brno University of Technology, Vienna University of Technology, CEA 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.
Get the latest project updates, research findings, and event announcements delivered directly to your inbox.
2026/08/11
Supported by mobility funding from the VASSAL project, four researchers from the Faculty of Information Technology at Brno University of Technology (BUT FIT) attended the international research seminar "Challenges in Robust Decision-Making Under Uncertainty" held in famous Schloss Dagstuhl from July 22 to July 24, 2026.
Read more »
2026/08/06
Researchers from Brno University of Technology completed a high-impact roadshow across France to forge strategic partnerships and expand international collaboration in formal verification, trustworthy artificial intelligence, embedded systems, and model-based engineering under the European Horizon project VASSAL.
Read more »
2026/08/05
The EU Horizon Europe project VASSAL continues to contribute to the field of trustworthy and verified computational systems. At the recent International Conference on Computer-Aided Verification (CAV), a leading venue for formal methods and automated analysis, five accepted papers are co-authored by researchers from BUT, supported by VASSAL project.
Read more »
