Formal Methods : Never Too Young to Start