Rapid Prototyping in Pvs - Softcover

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.