Template-Based Verification of Heap-Manipulating Programs. - Viktor Malík; Martin Hruska; Peter Schrammel; Tomás Vojnar (FMCAD, 2018)

2LS: Memory Safety and Non-termination - (Competition Contribution). - Viktor Malík; Stefan Marticek; Peter Schrammel; Mandayam K. Srivas; Tomás Vojnar; Johanan Wahlang (TACAS (2), 2018)

2LS: Heap Analysis and Memory Safety (Competition Contribution). - Viktor Malík; Martin Hruska; Peter Schrammel; Tomás Vojnar (CoRR, 2019)

2LS: Heap Analysis and Memory Safety - (Competition Contribution). - Viktor Malík; Peter Schrammel; Tomás Vojnar (TACAS (2), 2020)

The 2LS Software Verification Framework for SV-COMP 2020. - Viktor Malík; Peter Schrammel; Tomás Vojnar (Zenodo, 2020)

Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. - Viktor Malík; Tomás Vojnar (ICST, 2021)

Applying Custom Patterns in Semantic Equality Analysis. - Viktor Malík; Petr Silling; Tomás Vojnar (NETYS, 2022)

2LS. - Viktor Malík; Frantisek Necas; Peter Schrammel; Tomás Vojnar (Zenodo, 2022)

2LS: Arrays and Loop Unwinding - (Competition Contribution). - Viktor Malík; Frantisek Necas; Peter Schrammel; Tomás Vojnar (TACAS (2), 2023)

2LS for Program Analysis. - Daniel Kroening; Viktor Malík; Peter Schrammel; Tomás Vojnar (CoRR, 2023)

2LS. - Viktor Malík; Frantisek Necas; Peter Schrammel; Tomás Vojnar (Zenodo, 2023)

2LS. - Viktor Malík; Frantisek Necas; Peter Schrammel; Tomás Vojnar (Zenodo, 2023)

2LS. - Viktor Malík; Frantisek Necas; Peter Schrammel; Tomás Vojnar (Zenodo, 2023)

Template-Based Verification of Array-Manipulating Programs. - Viktor Malík; Peter Schrammel; Tomás Vojnar (Taming the Infinities of Concurrency, 2024)

Statická analýza programů v jazyce C ; Static Analysis of C Programs. - Viktor Malík (2024)

DiffKemp ACM TOSEM Replication Package. - Viktor Malík; Tomás Vojnar; Frantisek Necas (Zenodo, 2024)