Viktor Malík

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 9

Top Topics

Hardware Designs

Functional Verification

Semantic Categories

Statistical Analysis

Top Venues

Publications

Viktor Malík, Peter Schrammel, Tomás Vojnar
Template-Based Verification of Array-Manipulating Programs. Taming the Infinities of Concurrency (2024)
Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar
2LS: Arrays and Loop Unwinding - (Competition Contribution). TACAS (2) (2023)
Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar
2LS for Program Analysis. CoRR (2023)
Viktor Malík, Petr Silling, Tomás Vojnar
Applying Custom Patterns in Semantic Equality Analysis. NETYS (2022)
Viktor Malík, Tomás Vojnar
Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. ICST (2021)
Viktor Malík, Peter Schrammel, Tomás Vojnar
2LS: Heap Analysis and Memory Safety - (Competition Contribution). TACAS (2) (2020)
Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
2LS: Heap Analysis and Memory Safety (Competition Contribution). CoRR (2019)
Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
Template-Based Verification of Heap-Manipulating Programs. FMCAD (2018)
Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang
2LS: Memory Safety and Non-termination - (Competition Contribution). TACAS (2) (2018)