NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Rapid Prototyping in PVSPVSio is a conservative extension to the PVS prelude library that provides basic input/output capabilities to the PVS ground evaluator. It supports rapid prototyping in PVS by enhancing the specification language with built-in constructs for string manipulation, floating point arithmetic, and input/output operations.
Document ID
20040046914
Document Type
Contractor Report (CR)
Authors
Munoz, Cesar A. (National Inst. of Aerospace Research Hampton, VA, United States)
Butler, Ricky (NASA Langley Research Center Hampton, VA, United States)
Date Acquired
September 7, 2013
Publication Date
November 1, 2003
Subject Category
Computer Operations and Hardware
Report/Patent Number
NASA/CR-2003-212418
NIA-2003-03
Funding Number(s)
OTHER: 786-10-10-10
CONTRACT_GRANT: NCC1-02043
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

NameType 20040046914.pdf STI