Viktor Malík

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

Collaborative distances:

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

2024

Statická analýza programů v jazyce C ; Static Analysis of C Programs.

Viktor Malík

PhD thesis, 2024

Template-Based Verification of Array-Manipulating Programs.

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

Proceedings of the Taming the Infinities of Concurrency, 2024

2023

2LS.

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

Dataset, November, 2023

2LS.

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

Dataset, November, 2023

2LS.

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

Dataset, November, 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

2LS.

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

Dataset, December, 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

The 2LS Software Verification Framework for SV-COMP 2020.

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

Dataset, February, 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