निम्नलिखित में से कौन-सी व्यवस्था यह सुनिश्चित करने के लिए विनिर्देशों की जाँच करती है कि प्रणाली की सभी आवश्यकताएँ त्रुटि मुक्त हैं?