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 |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint