Kamil Dudka

Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution)

Tomás Vojnar, Petr Müller, Kamil Dudka, 2013, TACAS.

An Easy to Use Infrastructure for Building Static Analysis Tools

Tomás Vojnar, Kamil Dudka, Petr Peringer, 2011, EUROCAST.

From Low-Level Pointers to High-Level Containers pdf

Lukás Holík, Tomás Vojnar, Marek Trtík, 2016, VMCAI.

Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic

Tomás Vojnar, Kamil Dudka, Petr Peringer, 2011, CAV.

Byte-Precise Verification of Low-Level List Manipulation

Tomás Vojnar, Kamil Dudka, Petr Peringer, 2013, SAS.

Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution)

Tomás Vojnar, Petr Müller, Kamil Dudka, 2012, TACAS.

Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution)

Tomás Vojnar, Kamil Dudka, Petr Peringer, 2014, TACAS.