ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
back to result list
  • 1
    facet.materialart.
    Unknown
    Developing User Strategies in PVS: A Tutorial (2003)
    In:  CASI
    Details
    Publication Date: 2018-06-11
    Description: 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.
    Keywords: Computer Programming and Software
    Type: Design and Application of Strategies/Tactics in Higher Order Logics; 16-42; NASA/CP-2003-212448
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...