Verification and Analysis for Safety and Security of Applications in Life

About
About Objectives Outcomes Structure
Research
Research Logics and automata Model-based design, analysis, and synthesis Verification and analysis on the source code level Economic implications
News & Events
Deliverables
Results
Publications Tools Events
Partners
Contact

Publications

VASSAL | Verification and Analysis for Safety and Security of Applications in Life
The project has been funded by European Union Programme Horizon Europe under grant agreement no. 101160022.