Prototype Verification System

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
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.