Prototype Verification System
langage de programmation
From Wikipedia, the free encyclopedia
PVS (Prototype Verification System) est un assistant de preuve développé par le laboratoire d’informatique de SRI International.
Cet article est une ébauche concernant l’informatique.
