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. The AVM is a series of informal meetings focusing on current challenges in formal verification, bringing together PhD students and researchers from the Alpine region since 2005. This year's event, organized by the Software Engineering group at the University of Freiburg, continued its tradition of fostering collaboration and knowledge exchange.
At AVM’24, VASSAL team members actively participated, presented their ongoing research, and explored potential collaborations with partners, including representatives from TU Vienna. We strongly support the AVM's approach, which encourages every participant to share their work in an informal setting, promoting open discussions and new research opportunities.
