Prototype Verification System

Un article de Wikipédia, l'encyclopédie libre.

Page d'aide sur l'homonymie Pour les articles homonymes, voir PVS.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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

Ce document provient de « http://fr.wikipedia.org/wiki/Prototype_Verification_System ».
Créer un livre
Autres langues