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.

Notes et références

Portail de l’informatique

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.