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):

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.

Subject Categories:

  • Cybernetics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE