Complex sentence: The quality of the specification is fundamental to the output of the synthesis machine, which is a verified computer program.
Split into simpler sentences: The quality of the specification is fundamental to the output of the synthesis machine. The end product is a verified computer program.