formal verification - İspanyolca İngilizce Sözlük