Viktor Malik
Viktor Malik
PhD. student, Brno University of Technlogy
Verified email at fit.vutbr.cz
Title
Cited by
Cited by
Year
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
62018
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
62018
2LS: Heap Analysis and Memory Safety
V Malík, P Schrammel, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2020
42020
Template-based synthesis of heap abstractions
V Malik
Master’s thesis, Brno University of Technology, Brno, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–4