Viktor Malik
Viktor Malik
PhD. student, Brno University of Technlogy
Verified email at fit.vutbr.cz
TitleCited byYear
2LS: Heap analysis and memory safety (competition contribution)
V Malik, M Hruska, P Schrammel, T Vojnar
arXiv preprint arXiv:1903.00712, 2019
32019
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
32018
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
32018
Posudek vedoucího
K Molnár
The system can't perform the operation now. Try again later.
Articles 1–4