I gather there's no relationship to the Prototype Verification System from SRI [0].

[0] http://pvs.csl.sri.com/index.shtml