Project detail

Selection of methods for formal specification and verification of communication protocols

Duration: 01.01.2001 — 31.12.2001

On the project

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.

Keywords
formální metody, verifikace, komunikační protokoly, metodika výběru

Key words in English
formal methods, verification, communication protocols, method of selection

Mark

FR0099/2001/G1

Default language

Czech

People responsible

Matoušek Petr, doc. Ing., Ph.D., M.A. - fellow researcher
Výšek Pavel, Ing. - fellow researcher
Ráb Jaroslav, Ing. - principal person responsible

Results

MATOUŠEK, P. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. Modelling and Simulation 2001. Praha: Czech Technical University, 2001. p. 59-62. ISBN: 1-56555-225-3.
Detail

Responsibility: Ráb Jaroslav, Ing.