ஒரு சுயேச்சை பரிசீலனை செய்யும் வகையில் ஒரு நபர், அணி அல்லது கருவி மென்பொருள் வடிவமை ஆவணமாக்கலை மற்றும் நிரலமைத்தல் தர செய்யப்பட்டிருப்பதாக சரிபார்க்க மூல குறியீடு. Correctness, தனித் இருக்கலாம் எனவும் மதிப்பிடப்படும்.