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.
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.