4 ms·
I gather there's no relationship to the Prototype Verification System from SRI [0]. [0] http://pvs.csl.sri.com/index.shtml http://pvs.csl.sri.com/index.shtml
by ScottBurson 10y ago
I gather there's no relationship to the Prototype Verification System from SRI [0].
[0] http://pvs.csl.sri.com/index.shtml http://pvs.csl.sri.com/index.shtml
- AndreyKarpov 10y agoYes. No relationship. PVS: OOO "Program Verification Systems" (Co. Ltd.)