Functional safety standards such as IEC 61508 and ISO 26262 require dedicated activities related to code verification. Embedded software engineers, project managers, and quality assurance managers are involved in the process of matching objectives of the standards with operational constraints at the development process level. This session discusses Polyspace^® code verification for achieving compliance with these IEC and ISO standards and for improving the quality of the embedded software.