VASSAL logo

Verification and Analysis for Safety and Security of Applications in Life

Key Outcomes

Scientific and institutional level

Research / technology level

Economy and Society level