"Verifikace programu"@cs .