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