2019

• Extending DIVINE with Symbolic Verification Using SMT

  LAUKO Henrich ŠTILL Vladimír ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems, rok: 2019

2018

• DiVM: Model checking with LLVM and graph memory

  ROČKAI Petr ŠTILL Vladimír ČERNÁ Ivana BARNAT Jiří

  Článek v odborném periodiku

  Journal of Systems and Software, rok: 2018, ročník: 143, vydání: Oct, DOI

• Symbolic Computation via Program Transformation

  LAUKO Henrich ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  Theoretical Aspects of Computing – ICTAC 2018, rok: 2018

2017

• From Model Checking to Runtime Verification and Back

  KEJSTOVÁ Katarína ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  Runtime Verification - 17th International Conference, RV 2017, rok: 2017

• Model Checking of C and C++ with DIVINE 4

  BARANOVÁ Zuzana BARNAT Jiří KEJSTOVÁ Katarína KUČERA Tadeáš LAUKO Henrich MRÁZEK Jan ROČKAI Petr ŠTILL Vladimír

  Článek ve sborníku

  Automated Technology for Verification and Analysis, rok: 2017

• Using Off-the-Shelf Exception Support Components in C++ Verification

  ŠTILL Vladimír ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  IEEE International Conference on Software Quality, Reliability and Security - QRS 2017, rok: 2017

2016

• DIVINE: Explicit-State LTL Model Checker

  ŠTILL Vladimír ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2016

• Model checking C++ programs with exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2016, ročník: 128, vydání: 15 October 2016, DOI

• On verifying C++ programs with probabilities

  BARNAT Jiří ČERNÁ Ivana ROČKAI Petr ŠTILL Vladimír ZÁKOPČANOVÁ Kristína

  Článek ve sborníku

  Proceedings of the 31st Annual ACM Symposium on Applied Computing, rok: 2016

• Weak Memory Models as LLVM-to-LLVM Transformations

  ŠTILL Vladimír ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, rok: 2016