Rapid Prototyping in PVS
Cesar A. Munoz, Ricky W. Butler · NASA STI Repository (National Aeronautics and Space Administration) · 2013
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.