Nie jesteś zalogowany | Zaloguj się
Powrót do listy grantów

Matematyczne metody weryfikacji systemów informatycznych

Kierownik
prof. dr hab. Damian Niwiński
Numer umowy
7 T11C 027 20
Data rozpoczęcia
1 stycznia 2001
Data zakończenia
31 grudnia 2002
Finansowany przez
Komitet Badań Naukowych
Wykonawcy
dr hab. Damian Niwiński, dr hab. Igor Walukiewicz, mgr Mikołaj Bojańczyk, mgr Marcin Rychlik, dr hab. Jerzy Tyszkiewicz, mgr Tomasz Urbański, dr Stefan Dziembowski, dr Marcin Jurdziński
Słowa kluczowe
weryfikacja systemów informatycznych; teoria automatów; logiki modalne; operatory punktu stałego