द्वारा कार्यक्रम https://sf.net/projects/uvm/

यह परियोजना एकेलेरा सत्यापन बौद्धिक संपदा तकनीकी उपसमिति द्वारा प्रस्तावित यूनिवर्सल सत्यापन पद्धति (यूवीएम) के लिए एक सामान्य आधार पुस्तकालय (सीबीएल) कोड के संदर्भ कार्यान्वयन को होस्ट करता है।