Mgr. Jakub Šárník

Institut teoretické informatiky

e‑mail:

sociální a akademické sítě:

Základní údaje

Druh

Počet publikací: 2

2026

On the Complexity of Word-Level Model Checking with Arrays

JONÁŠ Martin PETŘIVALSKÁ Lea ŠÁRNÍK Jakub

Stať ve sborníku

Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026, rok: 2026, DOI

2021

DIVINE 4.4

ROČKAI Petr LAUKO Henrich ŠTILL Vladimír BARANOVÁ Zuzana KORENČIK Lukáš MATOUŠEK Adam BARNAT Jiří ŠÁRNÍK Jakub MRÁZEK Jan KEJSTOVÁ Katarína KUČERA Tadeáš

Software

Rok: 2021