Projekty finansowane przez NCN
Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML
2015/19/D/ST6/01473
Słowa kluczowe:
Mizar Isabelle metalogika tłumaczenie maszynowe niezależne certyfikowanie dowodów
Deskryptory:
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet w Białymstoku, Instytut Informatyki
woj. podlaskie
Konkurs: SONATA 10 - ogłoszony 2015-09-15
Przyznana kwota: 170 440 PLN
Rozpoczęcie projektu: 2016-07-20
Zakończenie projektu: 2020-03-19
Planowany czas trwania projektu: 44 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.