Detail projektu

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

Období řešení: 1. 1. 2001 - 31. 12. 2001

Typ projektu: grant

Kód: FR0099/2001/G1

Agentura: Fond rozvoje vysokých škol MŠMT

Program:

Název anglicky

Selection of methods for formal specification and verification of communication protocols

Typ

grant

Klíčová slova

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

Abstrakt

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.

Řešitelé

Ráb Jaroslav, Ing. (UIVT FEI VUT) , hlavní řešitel
Matoušek Petr, Ing. (UIVT FEI VUT) , spoluřešitel
Výšek Pavel, Ing. (FEI VUT) , spoluřešitel

Publikace

2001

MATOUŠEK Petr. Protocol Proving Using PVS: A Case Study. In: Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01. Hradec n/M: MARQ, 2001, s. 67-73. ISBN 80-85988-57-7. Detail
MATOUŠEK Petr. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. In: Modelling and Simulation 2001. Praha: České vysoké učení technické, 2001, s. 59-62. ISBN 1-56555-225-3. Detail