Project detail

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

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. 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

Responsibility: Ráb Jaroslav, Ing.