Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail projektu
Období řešení: 01.01.2001 — 31.12.2001
O projektu
Projekt se zabývá zkoumáním způsobu výběru metody formální specifikace a verifikace komunikačních protokolů. Cílem projektu je vytvořit obecnější metodiku přístupu k uvedené problematice.
Klíčová slovaformální metody, verifikace, komunikační protokoly, metodika výběru
Klíčová slova anglickyformal methods, verification, communication protocols, method of selection
Označení
FR0099/2001/G1
Originální jazyk
čeština
Řešitelé
Ráb Jaroslav, Ing. - hlavní řešitelMatoušek Petr, doc. Ing., Ph.D., M.A. - spoluřešitelVýšek Pavel, Ing. - spoluřešitel
Výsledky
MATOUŠEK, P. Protocol Proving Using PVS: A Case Study. In Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01. Hradec n/M: 2001. p. 67-73. ISBN: 80-85988-57-7.Detail
MATOUŠEK, P. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. In Modelling and Simulation 2001. Praha: Czech Technical University, 2001. p. 59-62. ISBN: 1-56555-225-3.Detail