Detail publikace

Protocol Verification Using PVS

MATOUŠEK, P. Protocol Verification Using PVS. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000. p. 201-203. ISBN: 80-7240-155-X.
Název česky
Verifikace protokolu v systému PVS
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
URL
Klíčová slova

protocol specification, formal methods, verification, theorem prover, PVS

Abstrakt

For successfull design and building of a real-life distributed systembased on communication protocols further analysis of the specifiedcommunication protocol is required. This analysis can reveal possiblebottle-necks in real service and it can prove that the protocolspecification satisfies real-time properties and requirements of theservice. It is not feasible to verify systems like communicationprotocols by hand. There are automated techniques and tool which canhelp the designer to prove required properties. One of the popularverification sytem is Prototype Verification System (PVS) developed atSRI Int. This paper introduces first-look experience with the PVSsystem. It shows how the system can be used for the verification ofcommunication protocols.

Rok
2000
Strany
201–203
Sborník
Sborník prací studentů a doktorandů
ISBN
80-7240-155-X
Vydavatel
Akademické nakladatelství CERM
Místo
Brno
BibTeX 
@inproceedings{BUT191830,
  author="Petr {Matoušek}",
  title="Protocol Verification Using PVS",
  booktitle="Sborník prací studentů a doktorandů",
  year="2000",
  pages="201--203",
  publisher="Akademické nakladatelství CERM",
  address="Brno",
  isbn="80-7240-155-X",
  url="http://www.fit.vutbr.cz/~matousp/doc/2000/stc00-paper.ps"
}
Nahoru