e/Prototype Verification System

New Query

Information
has glosseng: PVS, or the Prototype Verification System, is a specification language integrated with support tools and a theorem prover.
lexicalizationeng: Prototype Verification System
instance ofc/Dependently-typed formal languages
Meaning
French
has glossfra: PVS (Prototype Verification System) est un assistant de preuve développé par le laboratoire d'informatique de SRI International.
lexicalizationfra: Prototype Verification System

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint