"verifikaci program\u016F"@cs .