Theta: Various Approaches for Concurrent Program Verification (Competition Contribution).

Csand Telbisz, Levente Bajczi, Dniel Szekeres, Andrs Vrs

Browse the full TACAS paper archive.