RNDr. Vladimír Štill, Ph.D.
Rektorát
Počet publikací: 16
2021
-
DIVINE 4.4
Rok: 2021
2019
-
Extending DIVINE with Symbolic Verification Using SMT
Tools and Algorithms for the Construction and Analysis of Systems, rok: 2019
-
Local Nontermination Detection for Parallel C++ Programs
International Conference on Software Engineering and Formal Methods, rok: 2019
2018
-
DiVM: Model checking with LLVM and graph memory
Journal of Systems and Software, rok: 2018, ročník: 143, vydání: Oct, DOI
-
Model Checking of C++ Programs Under the x86-TSO Memory Model
Formal Methods and Software Engineering, rok: 2018
2017
-
Model Checking of C and C++ with DIVINE 4
Automated Technology for Verification and Analysis, rok: 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, rok: 2017
-
Using Off-the-Shelf Exception Support Components in C++ Verification
IEEE International Conference on Software Quality, Reliability and Security - QRS 2017, rok: 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, rok: 2016
-
On verifying C++ programs with probabilities
Proceedings of the 31st Annual ACM Symposium on Applied Computing, rok: 2016