Vladimír Štill

DIVINE 3.0

Petr Ročkai, Jiří Barnat, Vladimír Štill, 2013 .

LLVM Transformations for Model Checking

Vladimír Štill, 2016 .

Automatic Test Generation for Haskell Programming Assignments

Vladimír Štill, 2020, ITiCSE.

State space compression for the DiVinE model checker

Vladimír Štill, 2013 .