2019

• A Simulator for LLVM Bitcode

  ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, rok: 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

• Reproducible Execution of POSIX Programs with DiOS

  ROČKAI Petr BARANOVÁ Zuzana MRÁZEK Jan KEJSTOVÁ Katarína BARNAT Jiří

  Článek ve sborníku

  Software Engineering and Formal Methods, rok: 2019

• String Abstraction for Model Checking of C Programs

  ROČKAI Petr LAUKO Henrich OLLIARO Martina CORTESI Agostino

  Článek ve sborníku

  Model Checking Software, 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