NASA NTRS · 20030067563
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.
Keep this discovery
Explore connections, maps & timelines
Archer, Myla, diVito, Ben, Munoz, Cesar. 2003-09-01. Developing User Strategies in PVS: A Tutorial. https://ntrs.nasa.gov/citations/20030067563
Cite the original work for its findings. Save a collection to share your selection of sources.