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