Program menurut catedrasaes.inf.um.es/trac/wiki/ProjectsGuiVerification

Proyek ini mengimplementasikan lapisan verifikasi. Ini mendeteksi perubahan dalam GUI dan memicu proses verifikasi untuk memeriksa persyaratan data. Layer ini juga melakukan intervensi GUI untuk meningkatkan pengalaman penggu