Detail publikace

Protocol Verification Using PVS

MATOUŠEK Petr. Protocol Verification Using PVS. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000, s. 201-203. ISBN 80-7240-155-X.
Název česky
Verifikace protokolu v systému PVS
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Matoušek Petr, Ing. (UIVT FEI VUT)
URL
Abstrakt

For successfull design and building of a real-life distributed system based on communication protocols further analysis of the specified communication protocol is required. This analysis can reveal possible bottle-necks in real service and it can prove that the protocol specification satisfies real-time properties and requirements of the service. It is not feasible to verify systems like communication protocols by hand. There are automated techniques and tool which can help the designer to prove required properties. One of the popular verification sytem is Prototype Verification System (PVS) developed at SRI Int. This paper introduces first-look experience with the PVS system. It shows how the system can be used for the verification of communication protocols.

Rok
2000
Strany
201-203
Sborník
Sborník prací studentů a doktorandů
ISBN
80-7240-155-X
Vydavatel
Akademické nakladatelství CERM sro.
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6141,
   author = "Petr Matou\v{s}ek",
   title = "Protocol Verification Using PVS",
   pages = "201--203",
   booktitle = "Sborn\'{i}k prac\'{i} student\r{u} a doktorand\r{u}",
   year = 2000,
   location = "Brno, CZ",
   publisher = "Akademick\'{e} nakladatelstv\'{i} CERM",
   ISBN = "80-7240-155-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6141"
}
Nahoru