For each path, you then take the se

For each path, you then take the semantics of the intervening program statements to modify the assertion, and eventually reach the end of the path.

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

แต่ละเส้นทาง คุณนำความหมายของคำสั่งโปรแกรมแทรกแซงการแก้ไขตรวจสอบเงื่อนไข และในที่สุดก็ถึงจุดสิ้นสุดของเส้นทาง

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

สำหรับแต่ละเส้นทางแล้วคุณใช้ความหมายของงบโครงการแทรกแซงในการปรับเปลี่ยนการยืนยันและในที่สุดก็ถึงจุดสิ้นสุดของเส้นทาง

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

แต่ละเส้นทาง คุณก็เอาความหมายของโครงการแทรกแซงงบแก้ไข ยืนยัน และในที่สุดก็ถึงจุดสิ้นสุดของเส้นทาง