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…