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

Informace

Projekt nespadá pod Pedagogickou 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
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ě

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


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.