Forschungsportal

Lehre Forschung Organisation

Inkrementelles SAT und SMT für skalierbare Verifikation

01.07.2021 - 30.06.2024

Forschungsförderungsprojekt

Personen

Projektleiter_in

Projektass.in(FWF) Dipl.-Ing.in Dr.in techn. Katalin Fazekas (E192-04)

Institut

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Förderungsmittel

FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF) (National) Firnberg-Programm Fonds zur Förderung der wissenschaftlichen Forschung (FWF)

Forschungsschwerpunkte

Computational Science and Engineering

Support | Policies | Impressum | Datenschutz

Technische Universität Wien - Karlsplatz 13 | 1040 Wien, Österreich | Tel. +43-1-58801-0 | Fax +43-1-58801-41088