Title: Formale Methoden und kleine Systeme