Formal Methods within Certification Programs: Day 1