Powrót do listy grantów
Matematyczne podstawy technik opisu i analizy poprawności systemów informatycznych
- Kierownik
- prof. dr hab. Damian Niwiński
- Numer umowy
- 8T11C 027 16
- Data rozpoczęcia
- 1 stycznia 1999
- Data zakończenia
- 30 grudnia 2000
- Finansowany przez
- Komitet Badań Naukowych
- Wykonawcy
- dr hab. Damian Niwiński, dr Jerzy Tyszkiewicz, dr Igor Walukiewicz, Tomasz Urbański, mgr Zbigniew Łukasiak
- Słowa kluczowe
- weryfikacja systemów informatycznych; teoria automatów; logiki modalne; języki zapytań baz danych; operatory punktu stałego