RNDr. Petr Ročkai, Ph.D.
Assistant professor, Department of Computer Systems and Communications
Total number of publications: 45
2019
-
Extending DIVINE with Symbolic Verification Using SMT
Tools and Algorithms for the Construction and Analysis of Systems, year: 2019
-
Reproducible Execution of POSIX Programs with DiOS
Software Engineering and Formal Methods, year: 2019
-
String Abstraction for Model Checking of C Programs
Model Checking Software, year: 2019
2018
-
DiVM: Model checking with LLVM and graph memory
Journal of Systems and Software, year: 2018, volume: 143, edition: Oct, DOI
-
Symbolic Computation via Program Transformation
Theoretical Aspects of Computing – ICTAC 2018, year: 2018
2017
-
From Model Checking to Runtime Verification and Back
Runtime Verification - 17th International Conference, RV 2017, year: 2017
-
Model Checking of C and C++ with DIVINE 4
Automated Technology for Verification and Analysis, 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
-
Model checking C++ programs with exceptions
Science of Computer Programming, year: 2016, volume: 128, edition: 15 October 2016, DOI