RNDr. Vladimír Štill, Ph.D.
Rector's Office
Total number of publications: 16
2021
-
DIVINE 4.4
Year: 2021
2019
-
Extending DIVINE with Symbolic Verification Using SMT
Tools and Algorithms for the Construction and Analysis of Systems, year: 2019
-
Local Nontermination Detection for Parallel C++ Programs
International Conference on Software Engineering and Formal Methods, year: 2019
2018
-
DiVM: Model checking with LLVM and graph memory
Journal of Systems and Software, year: 2018, volume: 143, edition: Oct, DOI
-
Model Checking of C++ Programs Under the x86-TSO Memory Model
Formal Methods and Software Engineering, year: 2018
2017
-
Model Checking of C and C++ with DIVINE 4
Automated Technology for Verification and Analysis, year: 2017
-
Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II, year: 2017
-
Using Off-the-Shelf Exception Support Components in C++ Verification
IEEE International Conference on Software Quality, Reliability and Security - QRS 2017, year: 2017
2016
-
DIVINE: Explicit-State LTL Model Checker
Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, year: 2016
-
On verifying C++ programs with probabilities
Proceedings of the 31st Annual ACM Symposium on Applied Computing, year: 2016