formal verification - Turco Inglés Diccionario