Prototype Verification System
PVS (Prototype Verification System) est un assistant de preuve développé par le laboratoire d’informatique de SRI International.
Pour les articles homonymes, voir PVS.
Cette page est une très courte ébauche oubliée.
À l'instar du célèbre « Une pomme est un fruit » qui a marqué l'histoire de Wikipédia, n'hésitez pas à la développer (comment ?)
Vous pouvez également enrichir les pages proposées dans la rubrique « Pommes à croquer » du bistro du jour.
Vous pouvez également enrichir les pages proposées dans la rubrique « Pommes à croquer » du bistro du jour.
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.
Notes et références
[modifier | modifier le code]
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
