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

Ádám, Zsófia [Ádám, Zsófia (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Bajczi, Levente [Bajczi, Levente (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Dobos-Kovács, Mihály [Dobos-Kovács, Mihály (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Hajdu, Ákos [Hajdu, Ákos (formális módszerek), szerző]; Molnár, Vince [Molnár, Vince (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)