VASSAL logo

Verification and Analysis for Safety and Security of Applications in Life

Objectives

Goals

Twinning perspective

Research perspective

Strategic Goals

SG1: Strengthen scientific excellence, visibility and credibility of BUT in selected domains (WP2, WP3)

SG2: Improve institutional level, R&I governance and competencies of BUT (WP4)

SG3: Integration and sustainable development (WP5)

Key Expected Results

Improved BUT’s performance – scientific excellence as well as administrative support

VASSAL as a base of further research in SW engineering technologies

Integration, improved support and source of knowledge for the ecosystem