開發者 catedrasaes.inf.um.es/trac/wiki/ProjectsGuiVerification

此項目實現驗證層。它檢測 GUI 中的更改並觸發驗證過程以檢查數據要求。此層還執行 GUI 干預來增強用戶體驗。規則包含在單獨的檔中。