formal verification - Almanca İngilizce Sözlük