Nie jesteś zalogowany |
Powrót do listy grantów
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
- 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
