Protocol Proving Using PVS: A Case Study

článek ve sborníku mimo WoS a Scopus

angličtina

Prototype Verification System (PVS) is a popular verification tool forwriting formal specification and checking formal proofs. It consists ofa specification language integrated with support tools and a theoremprover. This paper shows its application on the class of high-levelcommunication protocols. Case study is demonstrated on a simpleprotocol for user database access. The paper discusses problems offormal specification of communication protocols, its representationusing PVS language and a set of properties to be proved.

formal verification, PVS, communication protocol

MATOUŠEK, P.

1. 1. 2001

Marq software s.r.o.

Hradec n/M

80-85988-57-7

Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01

67

73

7

http://www.fee.vutbr.cz/~matousp/doc/2001/mosis01.html