Overview
About VASSAL Project
VASSAL Project – Shaping the Future of Reliable Software
In a world where software underpins everything from critical infrastructure to everyday technology, reliability and security are more crucial than ever. The VASSAL Project unites top-tier institutions — including Brno University of Technology, TU Wien, CEA, Penn State University, and Honeywell — to create a virtual center of excellence focused on software verification, automated analysis, and model-based design.
As systems grow in complexity and AI becomes central to software development, VASSAL addresses the urgent demand for tools and methods that ensure resilience, robustness, and security. Our mission is to drive forward fundamental research in software engineering while maximizing its real-world impact — particularly for small and medium-sized enterprises — fostering broad adoption and sustainable innovation across sectors.
In a world where software underpins everything from critical infrastructure to everyday technology, reliability and security are more crucial than ever. The VASSAL Project unites top-tier institutions — including Brno University of Technology, TU Wien, CEA, Penn State University, and Honeywell — to create a virtual center of excellence focused on software verification, automated analysis, and model-based design.
As systems grow in complexity and AI becomes central to software development, VASSAL addresses the urgent demand for tools and methods that ensure resilience, robustness, and security. Our mission is to drive forward fundamental research in software engineering while maximizing its real-world impact — particularly for small and medium-sized enterprises — fostering broad adoption and sustainable innovation across sectors.