Viktor Malik
Viktor Malik
PhD. student, Brno University of Technlogy
Verified email at
TitleCited byYear
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
2LS: Heap analysis and memory safety (competition contribution)
V Malik, M Hruska, P Schrammel, T Vojnar
arXiv preprint arXiv:1903.00712, 2019
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
Template-based synthesis of heap abstractions
V Malik
Master’s thesis, Brno University of Technology, Brno, 2017
Posudek vedoucího
K Molnár
The system can't perform the operation now. Try again later.
Articles 1–5