(1) أداة برمجيات التي يقبل كإدخال برنامج كمبيوتر وتمثيل لمواصفات، وتنتج، ربما بمساعدة البشرية، والإثبات أو النقض من صحة program.~(2) أي أداة البرمجيات بأتمتة جزء أو كل من عملية التحقق.