Title: Formal Methods - Fun for Everybody