Viktor Malík

According to our database, Viktor Malík authored at least 8 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

2LS for Program Analysis.

Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar

CoRR, 2023

2LS: Arrays and Loop Unwinding - (Competition Contribution).

Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Applying Custom Patterns in Semantic Equality Analysis.

Viktor Malík, Petr Silling, Tomás Vojnar

Proceedings of the Networked Systems - 10th International Conference, 2022

2021

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

Viktor Malík, Tomás Vojnar

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020

2LS: Heap Analysis and Memory Safety - (Competition Contribution).

Viktor Malík, Peter Schrammel, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

2LS: Heap Analysis and Memory Safety (Competition Contribution).

Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar

CoRR, 2019

2018

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

Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Template-Based Verification of Heap-Manipulating Programs.

Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018