Accession Number:

ADA465056

Title:

Developing User Strategies in PVS: A Tutorial

Descriptive Note:

Conference paper

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC

Personal Author(s):

• Archer, Myla
• Di Vito, Ben
• Munoz, Cesar

Report Date:

2003-09-08

Pagination or Media Count:

28.0

Abstract:

This tutorial provides an overview of the PVS strategy language, and explains how to define new PVS strategies and load them into PVS, and how to create a strategy package. It then discusses several useful techniques that can be used in developing user strategies, and provides examples that illustrate many of these techniques.

Descriptors:

• *USER MANUALS
• *STRATEGY
• *PROGRAMMING LANGUAGES
• SYMPOSIA
• LOGIC
• PROTOTYPES
• VERIFICATION
• SPECIFICATIONS

Subject Categories:

• Cybernetics
• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE