Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Inkrementelles SAT und SMT für skalierbare Verifikation
01.07.2021 - 30.06.2024
Research funding project
People
Project leader
Katalin Fazekas
(E192-04)
Institute
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Förderungmittel
FWF - Österr. Wissenschaftsfonds (National)
Firnberg-Programm
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Research focus
Mathematical and Algorithmic Foundations: 100%
Publications
Publications