CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution).

Petr Mller, Toms Vojnar

Browse the full TACAS paper archive.