# Prototype Verification System

> specification language integrated with support tools and an automated theorem prover

**Wikidata**: [Q3408184](https://www.wikidata.org/wiki/Q3408184)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Prototype_Verification_System)  
**Source**: https://4ort.xyz/entity/prototype-verification-system