NASA NTRS · 20040046914
Rapid Prototyping in PVS
Abstract
PVSio 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.
Keep this discovery
Explore connections, maps & timelines
Munoz, Cesar A., Butler, Ricky. 2003-11-01. Rapid Prototyping in PVS. https://ntrs.nasa.gov/citations/20040046914
Cite the original work for its findings. Save a collection to share your selection of sources.