2022

• LART: Compiled Abstract Execution (Competition Contribution)

  LAUKO Henrich ROČKAI Petr

  Článek ve sborníku

  Rok: 2022

• Verification of Programs Sensitive to Heap Layout

  LAUKO Henrich KORENČIK Lukáš ROČKAI Petr

  Článek v odborném periodiku

  ACM Transactions on Software Engineering and Methodology, rok: 2022

2021

• DIVINE 4.4

  ROČKAI Petr LAUKO Henrich ŠTILL Vladimír BARANOVÁ Zuzana KORENČIK Lukáš MATOUŠEK Adam BARNAT Jiří ŠÁRNÍK Jakub MRÁZEK Jan KEJSTOVÁ Katarína KUČERA Tadeáš

  Software

  Rok: 2021

2020

• Abstracting Strings for Model Checking of C Programs

  LAUKO Henrich OLLIARO Martina CORTESI Agostino ROČKAI Petr

  Článek v odborném periodiku

  Applied Sciences, rok: 2020, ročník: 10, vydání: 21, DOI

• On Symbolic Execution of Decompiled Programs

  KORENČIK Lukáš ROČKAI Petr LAUKO Henrich BARNAT Jiří

  Článek ve sborníku

  Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020, rok: 2020

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

• 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

• 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

• 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

• Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution)

  MRÁZEK Jan JONÁŠ Martin ŠTILL Vladimír LAUKO Henrich BARNAT Jiří

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II, rok: 2017