RNDr. Vladimír Štill, Ph.D.
Rector's Office
Total number of publications: 16
2016
-
Weak Memory Models as LLVM-to-LLVM Transformations
Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, year: 2016
2015
-
Fast, Dynamically-Sized Concurrent Hash Table
Model Checking Software, year: 2015
-
Techniques for Memory-Efficient Model Checking of C and C++ Code
Software Engineering and Formal Methods, year: 2015
2014
-
Context-Switch-Directed Verification in DIVINE
Mathematical and Engineering Methods in Computer Science, year: 2014
2013
-
DIVINE 3.0
Year: 2013
-
DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs
Computer Aided Verification 2013, year: 2013