program verification - Turkish English Dictionary