PVS
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

PVS(Prototype Verification System) est un assistant de preuve développé par le laboratoire d'informatique de SRI International, notamment par le Dr Natarajan Shankar et Sam Owre.

Page générée en 0.013 seconde(s) - site hébergé chez Amen
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
Ce site est édité par Techno-Science.net - A propos - Informations légales
Partenaire: HD-Numérique