e/Prototype Verification System

Information
has gloss	eng: PVS, or the Prototype Verification System, is a specification language integrated with support tools and a theorem prover.
lexicalization	eng: Prototype Verification System
instance of	c/Dependently-typed formal languages

Meaning
French
has gloss	fra: PVS (Prototype Verification System) est un assistant de preuve développé par le laboratoire d'informatique de SRI International.
lexicalization	fra: Prototype Verification System