The core methods team of MODUS masters a broad range of formal methods, suitable to attack various application challenges. The formal methods usually come from Mathematics, Computer Science, and Logic. The applicability is manifold. Challenge us: Explain your application challenge to us, e.g., in our weekly seminar. And we assess whether we are in command of a suitable method or whether we can develop one.