Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình trong luận văn thạc sĩ