โปรแกรมตาม catedrasaes.inf.um.es/trac/wiki/ProjectsGuiVerification

โครงการนี้ใช้ชั้นการตรวจสอบ มันตรวจจับการเปลี่ยนแปลงใน GUI และทริกเกอร์กระบวนการตรวจสอบเพื่อตรวจสอบความต้องการข้อมูล เลเยอร์นี้ยังทําการแทรกแซง GUI เพื่อเพิ่มประสบการณ์การใช้งานของผู้ใช้ กฎจะรวมอยู่ในแฟ้มแยกต่างหาก