Formal methods in computer science (FGdI 2010)