Software Aspects of Certification