Prototype Verification System
langage de programmation
Pour les articles homonymes, voir PVS.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
PVS (Prototype Verification System) est un assistant de preuve développé par le laboratoire d'informatique de SRI International.
