Title: Teaching Formal Methods