Given a program together with its i

Given a program together with its input and output assertions a mechanical verifier might be expected to deduce whether or not the program meets it specifications as described by the assertions" [Gettrick82].

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

กำหนดให้โปรแกรมกับ assertions ของอินพุต และเอาท์พุตที่ verifier กลอาจคาดเดาว่าโปรแกรมตรงตามนั้นข้อกำหนดตามที่อธิบายไว้ โดย assertions ที่หรือไม่" [Gettrick82]

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

กำหนดโปรแกรมร่วมกับการป้อนข้อมูลและยืนยันการส่งออกตรวจสอบกลอาจจะมีการคาดว่าจะได้ข้อสรุปหรือไม่ว่าโปรแกรมที่เป็นไปตามข้อกำหนดของมันตามที่อธิบายไว้โดยยืนยัน "[Gettrick82]

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

ให้โปรแกรมพร้อมกับอินพุตและเอาต์พุต assertions กลตรวจสอบอาจคาดหวังที่จะตัดสินใจหรือไม่ว่าโปรแกรมมันคุณสมบัติตรงตามที่ระบุไว้ โดยยืนยัน " [ gettrick82 ]