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 | 14 | 2018 |
2LS: Heap Analysis and Memory Safety: (Competition Contribution) V Malík, P Schrammel, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2020 | 13 | 2020 |
2LS: Memory Safety and Non-termination: (Competition Contribution) V Malík, Š Martiček, P Schrammel, M Srivas, T Vojnar, J Wahlang International Conference on Tools and Algorithms for the Construction and …, 2018 | 12 | 2018 |
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 | 9 | 2021 |
2LS: Arrays and Loop Unwinding: (Competition Contribution) V Malík, F Nečas, P Schrammel, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2023 | 4 | 2023 |
Template-based synthesis of heap abstractions V Malik Master’s thesis, Brno University of Technology, Brno, 2017 | 3 | 2017 |
2LS for Program Analysis D Kroening, V Malík, P Schrammel, T Vojnar arXiv preprint arXiv:2302.02380, 2023 | 1 | 2023 |
Applying Custom Patterns in Semantic Equality Analysis V Malík, P Šilling, T Vojnar International Conference on Networked Systems, 265-282, 2022 | 1 | 2022 |
Template-Based Verification of Array-Manipulating Programs V Malík, P Schrammel, T Vojnar Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024 | | 2024 |
Detection of semantic equivalence of program source codes V Malik, T Glozar US Patent 11,449,317, 2022 | | 2022 |
Dynamická analýza použití knihovních volání V Malík Vysoké učení technické v Brně. Fakulta informačních technologií, 2020 | | 2020 |
DiffKemp: Automatic Analysis of Semantic Differences in KernelVersions V Malík, T Vojnar, P Šilling | | |