Verification and Analysis for Safety and Security of Applications in Life
Key Outcomes
Scientific and institutional level
BUT: Upgraded Guiding Principles, Codes of conduct, policies, services etc. and highly skilled int’l team formed creating conducive and effective environment for R&I
BUT: Increased nr. of female and international scientists and administration
VASSAL virtual centre formed; R&I teams deeply linked & collaboration underway
VASSAL/BUT raised R&I profile and credibility mirrored in deeper links to the ecosystem
Research / technology level
publications
validated cutting-edge open-source SW tools available for exploitation
Economic-based methodology and guidelines for robust & resilient SW engineering
Economy and Society level
Providing better services to the ecosystem (IPR, technology transfer, consulting etc.) accelerating uptake of R&I outcomes
Collaboration with stakeholders on safe & secure digitized society/economy underway