Verifikaci programu na rozdíl od verifikace řešení provádí a dokumentuje výrobce softwaru, jako je společnost Dlubal Software GmbH. For this, we refer to our extensive verification examples, Knowledge Base articles, and FAQs on RWIND. Additional input checks may be necessary during software updates.