Prototype Verification System

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

Screenshot.

Notes et références
    • icône décorative Portail de l’informatique
    Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.