2020

• Compiling C and C++ Programs for Dynamic White-Box Analysis

  BARANOVÁ Zuzana ROČKAI Petr

  Článek ve sborníku

  Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019), rok: 2020

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