Prototype Verification System

Screenshot.

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

Notes et références

Voir aussi

  • icône décorative Portail de l’informatique
Cet article est issu de Wikipédia. Sauf mention contraire, le texte est disponible sous Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.