Date of Award

Fall 1997

Document Type

Thesis

Degree Name

Master of Science (MS)

Department

Electrical & Computer Engineering

Program/Concentration

Electrical Engineering

Committee Director

James F. Leathrum, Jr.

Committee Member

Martin D. Meyer

Committee Member

Oscar R. González

Call Number for Print

Special Collections LD4331.E55 S25

Abstract

Development and implementation of a networking standard such as the new Internet Protocol (IPv6) is a very difficult process. Different implementations of the standard must be fully compatible to allow different computers to communicate with each other. However, standards are often ambiguous, frequently a result of providing specifications in the English language. A more formal specification could assist in the design of systems. This thesis demonstrates that capability using the Prototype Verification System (PVS).

In this thesis study, a formal specification for fragmentation and reassembly in IPv6 was created to provide a tool for the standardization of IPv6 using PVS. The user of the specification can employ it in verifying the design of his implementation. The user can pass his function implementations to the specification as parameters. The specification requires the user to provide certain properties of his functions.

Rights

In Copyright. URI: http://rightsstatements.org/vocab/InC/1.0/ This Item is protected by copyright and/or related rights. You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s).

DOI

10.25777/8dz2-7b72

Download

Share

COinS