Prototype Verification System définition

Rechercher

Prototype Verification System

Prototype Verification System logo #651PVS (Prototype Verification System) est un assistant de preuve développé par le laboratoire d`informatique de SRI International.
Trouvé sur https://fr.wikipedia.org/wiki/Prototype_Verification_System
Aucun résultat n’a été trouvé dans l’encyclopédie.