Prototype Verification System
langage de programmation
PVS (Prototype Verification System) est un assistant de preuve développé par le laboratoire d’informatique de SRI International.

Pour les articles homonymes, voir PVS.
Cet article est une ébauche concernant l’informatique.
PVS (Prototype Verification System) est un assistant de preuve développé par le laboratoire d’informatique de SRI International.