Detail projektu

Způsob výběru metody formální specifikace a verifikace komunikačních protokolů

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á slova
formální metody, verifikace, komunikační protokoly, metodika výběru

Klíčová slova anglicky
formal 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šitel
Matoušek Petr, doc. Ing., Ph.D., M.A. - spoluřešitel
Výš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

Odpovědnost: Ráb Jaroslav, Ing.