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