Much research work is also devoted

Much research work is also devoted to finding good abstractions to enable the analysis of infinite state models with finite state verification techniques

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

งานวิจัยมากทุ่มเทยังหาแนวคิดที่ดีที่จะช่วยให้การวิเคราะห์ในรูปแบบรัฐไม่มีที่สิ้นสุดกับเทคนิคการตรวจสอบรัฐ จำกัด

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

ยังมีทุ่มเทงานวิจัยมากไปหาดี abstractions เพื่อเปิดใช้งานการวิเคราะห์แบบจำลองอนันต์รัฐกับเทคนิคการตรวจสอบสถานะจำกัด

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

งานวิจัยเป็นอย่างมากได้อุทิศตัวเพื่อการค้นหานามธรรมที่ดีในการเปิดใช้งานการวิเคราะห์ของรุ่นที่รัฐไม่สิ้นสุดพร้อมด้วยเทคนิคการตรวจสอบสถานะแบบจำกัดยัง