Viktor Malík

2LS: Memory Safety and Non-termination - (Competition Contribution)

Mandayam K. Srivas, Peter Schrammel, Tomás Vojnar, 2018, TACAS.

Dynamická analýza použití knihovních volání

Viktor Malík, 2014 .

2LS: Heap Analysis and Memory Safety

Peter Schrammel, Tomás Vojnar, Viktor Malík, 2020, TACAS.

Template-Based Verification of Heap-Manipulating Programs

Peter Schrammel, Tomás Vojnar, Viktor Malík, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).

Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects

Tomás Vojnar, Viktor Malík, Tomáš Vojnar, 2021, 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).