MATEKSYS VERIFICATION