"98521" . "Tools and Algorithms for the Construction and Analysis of Systems" . "Dudka, Kamil" . "Predator is a tool for automated formal verification of sequential C programs operating with pointers and linked lists. The core algorithms of Predator were originally inspired by works on separation logic with higher-order list predicates, but they are now purely graph-based and significantly extended to support various forms of low-level memory manipulation used in system-level code. This paper briefly introduces Predator and describes its participation in the Software Verification Competition SV-COMP'13 held at TACAS'13." . "Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution)" . "Peringer, Petr" . "Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution)" . . "P(ED1.1.00/02.0070), P(GAP103/10/0306), S, Z(MSM0021630528)" . . "Predator is a tool for automated formal verification of sequential C programs operating with pointers and linked lists. The core algorithms of Predator were originally inspired by works on separation logic with higher-order list predicates, but they are now purely graph-based and significantly extended to support various forms of low-level memory manipulation used in system-level code. This paper briefly introduces Predator and describes its participation in the Software Verification Competition SV-COMP'13 held at TACAS'13."@en . . . "Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution)"@en . . "Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution)"@en . "Vojnar, Tom\u00E1\u0161" . "dynamic linked data structuresseparation logic symbolic memory graphslist manipulationlow-level memory manipulationmemory safetyshape analysis"@en . "978-3-642-36742-7" . "\u0158\u00EDm" . "4"^^ . "[D2C6B57B1D1A]" . . . . . . "2013-03-18+01:00"^^ . . "Springer-Verlag" . "RIV/00216305:26230/13:PU106314!RIV14-GA0-26230___" . "26230" . . "4"^^ . "Berlin" . . . . . "RIV/00216305:26230/13:PU106314" . . . . "M\u00FCller, Petr" . "3"^^ . . . .