formal methods - Englisch Synonyme Wörterbuch