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

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

Program:

English title
Selection of methods for formal specification and verification of communication protocols
Type
grant
Keywords

formal methods, verification, communication protocols, method of selection

Team members
Ráb Jaroslav, Ing. (DCSE FEECS BUT) , research leader
Matoušek Petr, Ing. (DCSE FEECS BUT) , team leader
Výšek Pavel, Ing. (FEECS BUT) , team leader
Publications

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, 2001, pp. 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: Czech Technical University, 2001, pp. 59-62. ISBN 1-56555-225-3. Detail
Back to top