2024/09/05
The VASSAL project was recently presented at the 16th Alpine Verification Meeting (AVM’24), held from 4th to 6th September 2024 in Freiburg im Breisgau, Germany.
Read more »
2024/06/17
On June 17th, 2024 the kick-off meeting of the VASSAL project was held at the Faculty of Information Technology, Brno University of Technology.
Read more »
2024/06/01
We are thrilled to announce the official launch of the VASSAL project (Verification and Analysis for Safety and Security of Applications in Life).
Read more »