Top Qs
Chronologie
Chat
Contexte
Prototype Verification System
langage de programmation De Wikipédia, l'encyclopédie libre
Remove ads
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.
Cet article est une ébauche concernant l’informatique.
Notes et références
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads