established the reliability of thei

established the reliability of their file system through a process known as formal verification

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

สร้างความน่าเชื่อถือของระบบแฟ้มของกระบวนการเป็นการตรวจสอบอย่างเป็นทางการ

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

ที่จัดตั้งขึ้นความน่าเชื่อถือของระบบไฟล์ของพวกเขาผ่านกระบวนการที่เรียกว่าการตรวจสอบอย่างเป็นทางการ

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

สร้างความน่าเชื่อถือของระบบแฟ้มของพวกเขาผ่านกระบวนการที่เรียกว่าการตรวจสอบอย่างเป็นทางการ