NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Developing User Strategies in PVS: A TutorialThis 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.
Document ID
20030067563
Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Archer, Myla (Naval Research Lab. Washington, DC, United States)
diVito, Ben (NASA Langley Research Center Hampton, VA, United States)
Munoz, Cesar (National Inst. of Aerospace Hampton, VA, United States)
Date Acquired
September 7, 2013
Publication Date
September 1, 2003
Publication Information
Publication: Design and Application of Strategies/Tactics in Higher Order Logics
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

IDRelationTitle20030067561Collected WorksDesign and Application of Strategies/Tactics in Higher Order Logics20030067561Collected WorksDesign and Application of Strategies/Tactics in Higher Order Logics
No Preview Available