Veronika Soková

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 10

Top Topics

Abductive Reasoning

Top Venues

Dagstuhl Artifacts Ser.

Publications

Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar
Algorithmic Details behind the Predator Shape Analyser. CoRR (2024)
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
Low-Level Bi-Abduction. ECOOP (2022)
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
Low-Level Bi-Abduction. CoRR (2022)
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
Low-Level Bi-Abduction (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, Jan Strejcek
Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution). TACAS (2) (2021)
Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar
Symbiotic 7: Integration of Predator and More - (Competition Contribution). TACAS (2) (2020)
Petr Peringer, Veronika Soková, Tomás Vojnar
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). TACAS (2) (2020)
Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar
PredatorHP Attacks Interval-Sized Regions. CoRR (2019)
Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar
Predator Shape Analysis Tool Suite. Haifa Verification Conference (2016)
Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar
Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). TACAS (2016)