Title: Product-Oriented Software Certification Process for Software Synthesis