Follow
Viktor Malik
Viktor Malik
PhD. student, Brno University of Technlogy
Verified email at fit.vutbr.cz
Title
Cited by
Cited by
Year
2LS: heap analysis and memory safety
V Malík, P Schrammel, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2020
102020
Template-based verification of heap-manipulating programs
V Malík, M Hruska, P Schrammel, T Vojnar
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
92018
2LS: memory safety and non-termination
V Malík, Š Martiček, P Schrammel, M Srivas, T Vojnar, J Wahlang
International Conference on Tools and Algorithms for the Construction and …, 2018
72018
Template-based synthesis of heap abstractions
V Malik
Master’s thesis, Brno University of Technology, Brno, 2017
32017
Automatically checking semantic equivalence between versions of large-scale C projects
V Malík, T Vojnar
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
22021
Applying Custom Patterns in Semantic Equality Analysis
V Malík, P Šilling, T Vojnar
International Conference on Networked Systems, 265-282, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–6