Vladimír Štill

2017

Zuzana Baranová, Jiří Barnat, Katarína Kejstová, Tadeáš Kučera, Henrich Lauko, Jan Mrázek, Petr Ročkai, and Vladimír Štill:
Model Checking of C and C++ with DIVINE 4,
International Symposium on Automated Technology for Verification and Analysis (ATVA) (to appear), 2017. [bibtex, paper page]

Vladimír Štill, Petr Ročkai, and Jiří Barnat:
Using Off-the-Shelf Exception Support Components in C++ Verification,
Software Quality, Reliability & Security (to appear), 2017. [bibtex, paper page]

2016

Vladimír Štill, Petr Ročkai, and Jiří Barnat:
DIVINE: Explicit-State LTL Model Checker,
Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin Heidelberg, 2016, 920–922. [bibtex, pdf, url]

Vladimír Štill:
LLVM Transformations for Model Checking,
Master’s Thesis, 2016. [bibtex, pdf, url]

Jiří Barnat, Ivana Černá, Petr Ročkai, Vladimír Štill, and Kristína Zákopčanová:
On Verifying C++ Programs with Probabilities,
ACM Symposium on Applied Computing, 2016, 1238–1243. [bibtex, url]

Vladimír Štill, Petr Ročkai, and Jiří Barnat:
Weak Memory Models as LLVM-to-LLVM Transformations,
Mathematical and Engineering Methods in Computer Science, Revised Selected Papers, Springer International Publishing, 2016, volume 9548 of Lecture Notes in Computer Science, 144–155. [bibtex, pdf, url]

2015

Jiří Barnat, Petr Ročkai, Vladimír Štill, and Jiří Weiser:
Fast, Dynamically-Sized Concurrent Hash Table,
Model Checking Software (SPIN 2015), Springer International Publishing, 2015, volume 9232 of Lecture Notes in Computer Science, 49-65. [bibtex, pdf, url]

Petr Ročkai, Vladimír Štill, and Jiří Barnat:
Techniques for Memory-Efficient Model Checking of C and C++ Code,
Software Engineering and Formal Methods, Springer International Publishing, 2015, volume 9276 of Lecture Notes in Computer Science, 268–282. [bibtex, pdf, url]

2014

Vladimír Štill, Petr Ročkai, and Jiří Barnat:
Context-Switch-Directed Verification in DIVINE,
Mathematical and Engineering Methods in Computer Science, Springer International Publishing, 2014, volume 8934 of Lecture Notes in Computer Science, 135–146. [bibtex, pdf, url]

2013

Jiří Barnat, Luboš Brim, Vojtěch Havel, Jan Havlíček, Jan Kriho, Milan Lenčo, Petr Ročkai, Vladimír Štill, and Jiří Weiser:
DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs,
Computer Aided Verification, Springer Berlin Heidelberg, 2013, volume 8044 of Lecture Notes in Computer Science, 863–868. [bibtex, url]

Vladimír Štill:
State Space Compression for the DiVinE Model Checker,
Bachelor’s Thesis, 2013. [bibtex, pdf, url]