Prototype Verification System

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

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.