Topics Related to Certification and Halogen Software: