VASSAL

Verification and Analysis for Safety and Security of Applications in Life

Goals

Twinning perspective

strengthen the research and institutional cooperation among the partners
leverage the cooperation to improve the BUT's excellence and competitiveness

Research perspective

create a virtual research centrum of fundamental technologies for automated verification, analysis and design techniques for safe and secure SW

Beneficiary Partners

Associate Partners