Ouvrir le menu principal

Prototype Verification System

langage de programmation
Page d'aide sur l'homonymie Pour les articles homonymes, voir PVS.

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