द्वारा कार्यक्रम catedrasaes.inf.um.es/trac/wiki/ProjectsGuiVerification

यह परियोजना एक सत्यापन परत लागू करती है। यह जीयूआई में परिवर्तनों का पता लगाता है और डेटा आवश्यकताओं की जांच करने के लिए सत्यापन प्रक्रियाओं को ट्रिगर करता है। यह परत उपयोगकर्ता अनुभव को बढ़ाने के लिए जीयूआई हस्तक्षेप भी करती