. In fact, many model checking envi

. In fact, many model checking environments include an animator to visualize the generated counterexample traces

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

. ในความเป็นจริงหลายสภาพแวดล้อมการตรวจสอบรวม​​ถึงรูปแบบการเคลื่อนไหวที่จะเห็นภาพร่องรอย counterexample สร้าง

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

. ในความเป็นจริง หลายรูปแบบตรวจสอบสภาพแวดล้อมรวมถึงเป็นการเห็นภาพร่องรอย counterexample สร้าง

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

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