Developing User Strategies in PVS: A Tutorial

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 08, 2003
Accession Number
ADA465056

Entities

People

  • Ben Di Vito
  • Cesar Munoz
  • Myla M. Archer

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • C4I
  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Arithmetic
  • Automatic
  • Automation
  • Computer Programming
  • Construction
  • Information Operations
  • Language
  • Lisp Programming Language
  • Military Research
  • Numbers
  • Real Numbers
  • Reasoning
  • Security Protocols
  • Sequences
  • Standards
  • Template Patterns

Readers

  • Aerospace Engineering
  • Artificial Intelligence
  • Computational Modeling and Simulation