Prototype Verification System
langage de programmation
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.
À 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 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.