Prototype Verification System
id:
prototype-verification-system-315-3201076
title:
Prototype Verification System
text:
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. PVS is based on a kernel consisting of an extension of Church's theory of types with dependent types, and is fundamentally a classical typed higher-order logic. The base types include uninterpreted types that may be introduced by the user, and built-in types such as the boole
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Prototype_Verification_System
date created:
date modified:
2022-12-15T01:46:11Z
main entity:
{"identifier":"Q3408184","url":"https://www.wikidata.org/entity/Q3408184"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/6/6f/PVS_screenshot.gif","width":692,"height":690}
fields total:
13
integrity:
14