2 citations · 5 across the 12 of their papers we have counts for
3 papers · 1 filter
Algorithmic Details behind the Predator Shape Analyser
Kamil Dudka, Petr Muller, Petr Peringer +2
This chapter, which is an extended and revised version of the conference paper 'Predator: Byte-Precise Verification of Low-Level List Manipulation', concentrates on a detailed desc…
PredatorHP Attacks Interval-Sized Regions
Michal Kotoun, Petr Peringer, Veronika Šoková +1
This paper describes shortly the basic principles of the PredatorHP (Predator Hunting Party) shape analyzer and presents its recent improvements. One of the most visible changes is…
2LS: Heap Analysis and Memory Safety (Competition Contribution)
Viktor Malik, Martin Hruska, Peter Schrammel +1
2LS is a framework for analysis of sequential C programs that can verify and refute program assertions and termination. The 2LS framework is built upon the CPROVER infrastructure a…