Nie jesteś zalogowany | Zaloguj się

Kierownik: prof. dr hab. Sławomir Lasota
Numer umowy: 2013/09/B/ST6/01575
Data rozpoczęcia: 20 marca 2014
Data zakończenia: 19 marca 2017
Finansowany przez: Narodowe Centrum Nauki
Wykonawcy: dr Wojciech Czerwiński, dr Lorenzo Clemente, mgr Piotr Hofman
Słowa kluczowe: systemy nieskończenie stanowe, weryfikacja formalna, problem osiągalności, problem równoważności, równoważność bisymulacyjna

Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych