program verification

[کامپیوتر] عمل اثبات صحت کار یک برنامه داده شده .