Ultimate Paralizer: Parallel Trace Abstraction (Competition Contribution).

Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs

Browse the full TACAS paper archive.