Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).

Zsfia dm, Levente Bajczi, Mihly Dobos-Kovcs, kos Hajdu, Vince Molnr

Browse the full TACAS paper archive.