{"version":"1.0","type":"link","title":"Prototype Verification System - Newikis","description":"The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer Science Laboratory of SRI International in Menlo Park, California.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400,"thumbnail_url":"https://upload.wikimedia.org/wikipedia/commons/6/6f/PVS_screenshot.gif","thumbnail_width":692,"thumbnail_height":690}