Developing User Strategies in PVS: A Tutorial
NAVAL RESEARCH LAB WASHINGTON DC
Pagination or Media Count:
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.
- Computer Programming and Software