CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution).

Philipp Wendler

Browse the full TACAS paper archive.