Prototype Verification System
langage de programmation
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.
Notes et références
modifier
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
