Jiří Barnat
Vice-dean for curricula, Masaryk University
Related Projects
Publications
- Context-Switch-Directed Verification in DIVINE
- DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs
- DiVinE: Parallel Distributed Model Checker
- Fast, Dynamically-Sized Concurrent Hash Table
- Improved State Space Reductions for LTL Model Checking of C & C++ Programs
- Improved State Space Reductions for LTL Model Checking of C & C++ Programs
- Model Checking C++ with Exceptions
- Model Checking of C and C++ with DIVINE 4
- Weak Memory Models as LLVM-to-LLVM Transformations
- Symbolic Computation via Program Transformation
- Extending DIVINE with Symbolic Verification Using SMT