Runtime Verification: výzkumníci FIT VUT zorganizovali workshop na TU Graz

Minulý týden měli naši výzkumníci zapojení do projektu VASSAL (financovaného z programu EU Twinning) příležitost navštívit TU Graz a uspořádat zde úvodní workshop s dedikovaným fórem v rámci konference Runtime Verification 2025. Fórum spojilo výzkumníky z projektu a širší komunitu runtime verifikace. Program workshopu zahrnoval zvané přednášky předních odborníků, prezentace výzkumníků  z FITu a vybrané příspěvky z komunity runtime verifikace. Za VUT přednesli své příspěvky Filip Macák, Milan Češka, David Chocholatý a Tomáš Dacík; projekt VASSAL představil Roderik Valko.

Do programu workshopu byl pozván Dr. Dejan Nicković (Austrian Institute of Technology), který je předním odborníkem v oblasti ověřování běhu a kyberfyzických systémů a ve svém výzkumu se zaměřuje na monitorování časových vlastností, návrh založený na smlouvách a systémy v reálném čase. Dalším pozvaným byl Wolfgang Ahrendt, profesor na Chalmers University of Technology v Göteborgu. Jeho vědecký přínos spočívá v deduktivní verifikaci softwaru, verifikaci za běhu a kombinacích statické verifikace s verifikací za běhu a testováním.

Sama účast na workshopu dokládá vědeckou excelenci našich kolegů, akce současně podpořila cennou výměnu zkušeností s mezinárodní komunitou. Hlavní organizátor workshopu Milan Češka akci hodnotil pozitivně: „Atmosféra workshopu byla uvolněná a přátelská, zároveň ale odborně na nejvyšší úrovni. V rámci projektu VASSAL nás velmi těší, že jsme mohli být součástí RV Graz 2025 a zorganizovat vlastní fórum. Během workshopu jsme měli možnost vyslechnout si inspirativní příspěvky našich doktorandů i kolegů z TU Wien a CEA. Nejvíce oceňuji, že program byl připraven tak, aby vytvářel prostor pro otevřené diskuse a hledání nových možností spolupráce.“ Diskuse během fóra ukázaly význam propojení teoretického pokroku s praktickými výzvami v oblasti verifikace. Pro samotný projekt VASSAL se událost stala milníkem v posilování vazeb mezi institucemi a ukázala roli projektu pro utváření budoucnosti spolehlivých a verifikovatelných systémů.