Tytuł projektu: Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Instytucja: Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Miasto: Warszawa
Województwo: mazowieckie
Kierownik projektu: dr hab. Sławomir Grzegorz Lasota
Panel: ST6 (obszar: ST)
Liczba wykonawców: 5
Finansowanie: 409100 PLN
Okres realizacji: 2014-03-20 00:00:00 – 2017-03-19 00:00:00 (36 miesięcy)