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