Jan Havlíček

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]

Jiří Barnat, Jan Havlíček, and Petr Ročkai:
Distributed LTL Model Checking with Hash Compaction,
Electronic Notes in Theoretical Computer Science, Volume 296, Elsevier Science, 2013, 79-93. [bibtex, url]

Jan Havlíček:
Untimed LTL Model Checking of Timed Automata,
Master’s Thesis, 2013. [bibtex, pdf, url]