Přejít k obsahu | Přejít k hlavnímu menu | Přejít k vyhledávání

Informace o projektu
Meze algoritmické verifikovatelnosti nekonečně stavových systémů

Informace

Projekt nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.
Logo poskytovatele
Kód projektu
GA201/97/0456
Období řešení
1/1997 - 12/1999
Investor / Programový rámec / typ projektu
Grantová agentura ČR
  • Standardní projekty
Fakulta / Pracoviště MU
Fakulta informatiky
WWW stránky projektu
http://www.fi.muni.cz/usr/kretinsky/projects/GACR201970456.html
Spolupracující organizace
Vysoká škola báňská - Technická univerzita v Ostravě
  • Odpovědná osoba prof. RNDr. Petr Jančar, CSc.

The project is motivated by a live current research area concerning analysis and verification of complex (infinite state) concurrent systems It is the area of boundaries for algorithmic verification, where verification means checking equivalencies of sys tems, their temporal logic properties etc. Recently, several interesting results have been obtained in the given area, e.g. for calculi BPA, BPP, and Petri nets, to which also the grant of the Czech Grant Agency, No. 201/93/2123, has contributed. The ma

Publikace

Počet publikací: 28

1999

1998

Předchozí 1 2 3 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.