formally verify code

formally verify code

ผลลัพธ์ (ไทย) 1:

ตรวจสอบรหัสอย่างเป็นกิจจะลักษณะ

ผลลัพธ์ (ไทย) 2:

อย่างเป็นทางการตรวจสอบรหัส

ผลลัพธ์ (ไทย) 3:

อย่างเป็นทางการยืนยันรหัส