program correctness

[کامپیوتر] تصحیح برنامه