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

Ádám, Zsófia [Ádám, Zsófia (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Bajczi, Levente [Bajczi, Levente (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Critical Systems Research Group (BUTE / FEEI / MIT); Dobos-Kovács, Mihály [Dobos-Kovács, Mihály (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Critical Systems Research Group (BUTE / FEEI / MIT); Hajdu, Ákos [Hajdu, Ákos (formális módszerek), author]; Molnár, Vince [Molnár, Vince (informatika), author] Department of Measurement and Information Systems (BUTE / FEEI); Critical Systems Research Group (BUTE / FEEI / MIT)