formal method - Englisch Synonyme Wörterbuch