Veronika Soková

According to our database, Veronika Soková authored at least 12 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Algorithmic Details behind the Predator Shape Analyser.

Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar

CoRR, 2024

2023

PredatorHP.

Veronika Soková, Petr Peringer, Tomás Vojnar, Ondrej Kinst

Dataset, November, 2023

PredatorHP.

Veronika Soková, Petr Peringer, Tomás Vojnar

Dataset, November, 2023

2022

Low-Level Bi-Abduction (Artifact).

Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger

Dagstuhl Artifacts Ser., 2022

Low-Level Bi-Abduction.

Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution).

Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

PredatorHP.

Veronika Soková, Petr Peringer, Tomás Vojnar

Dataset, February, 2020

PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution).

Petr Peringer, Veronika Soková, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Symbiotic 7: Integration of Predator and More - (Competition Contribution).

Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

PredatorHP Attacks Interval-Sized Regions.

Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar

CoRR, 2019

2016

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution).

Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Predator Shape Analysis Tool Suite.

Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar

Proceedings of the Hardware and Software: Verification and Testing, 2016