Project Details

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

Project Period: 1. 1. 2001 – 31. 12. 2001

Project Type: grant

Code: FR0099/2001/G1

English title

Selection of methods for formal specification and verification of communication protocols

Type

grant

Keywords

formal methods, verification, communication protocols, method of selection

Abstract

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.

Team members

Ráb Jaroslav, Ing. – research leader
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)
Výšek Pavel, Ing.