Learn More
ABSTRACTPVSio is a conservative extension to the PVS prelude library that provides basic in-put/output capabilities to the PVS ground evaluator. It supports rapid prototypingin PVS by enhancing the(More)