VASSAL logo

Verification and Analysis for Safety and Security of Applications in Life

Welcome to the VASSAL Project

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.

Recent news

Shmuel Ur: Patents – what inventors should know

2025/08/06

The mini course will cover the following subjects: what inventors need to know about patents, patent examples with some useful understanding from each, patent ethics, and ways of monetizing patents. Participants will gain insights on how to improve ideas and what to do with ideas in order to avoid mistakes.

Read more »
Two Expert Talks on Temporal Graphs and ω-Regular Languages

2025/07/25

We have hosted two insightful research talks at Brno University of Technology. The events brought together local and international researchers to engage with the latest developments in theoretical computer science and system verification.

Read more »
Decentralized Planning Using Probabilistic Hyperproperties: AAMAS'25 Best Student Paper

2025/05/26

Winning the Best Student Paper Award at the AAMAS'25 conference, this VASSAL project research by Pontiggia, Macák, Andriushchenko, Chiari, & Češka (led by Assoc. Prof. Milan Češka) introduces innovative multi-agent planning. This work stood out among over 1000 submissions to gain acceptance at a CORE A* conference.

Read more »

Beneficiary Partners

Associate Partner