Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution).

Henning Gnther, Alfons Laarman, Georg Weissenbacher

Browse the full TACAS paper archive.