ular reasoning, while verisoft uses

ular reasoning, while verisoft uses partial order reduction techniques for efficient state-less verification. Learning in the context of software model checking has also been investigated in [20] and =-=[25]-=-, but with a different goal. In those works, the L* Algorithm is used to generate models of software systems which can then be analyzed with model checking and testing techniques. 8 Conclusions We pre

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

ular เหตุผล verisoft ใช้เทคนิคการลดสั่งบางส่วนสำหรับการตรวจสอบน้อยกว่ารัฐที่มีประสิทธิภาพ การเรียนรู้ในบริบทของซอฟต์แวร์จำลองการตรวจสอบยังได้รับการสอบสวนใน [20] และ =รหัส [25] รหัส-, แต่ มีเป้าหมายแตกต่างกัน ในงานเหล่า อัลกอริทึม L * ถูกใช้เพื่อสร้างแบบจำลองของระบบซอฟต์แวร์ที่สามารถนำมาวิเคราะห์แล้ว ด้วยรูปแบบการตรวจสอบ และการทดสอบเทคนิค 8 สรุปเราก่อน

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

เหตุผล ular ขณะ verisoft ใช้เทคนิคการลดการสั่งซื้อบางส่วนสำหรับการตรวจสอบของรัฐที่มีประสิทธิภาพน้อย การเรียนรู้ในบริบทของการตรวจสอบรูปแบบซอฟแวร์ยังได้รับการตรวจสอบใน [20] และ = = - [25] - = - แต่มีเป้าหมายที่แตกต่างกัน ในผลงานเหล่านั้น L * ขั้นตอนวิธีการที่ใช้ในการสร้างแบบจำลองของระบบซอฟต์แวร์ที่สามารถวิเคราะห์ด้วยการตรวจสอบรูปแบบและเทคนิคการทดสอบ 8 ข้อสรุปเราก่อน

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

ular เหตุผล ในขณะที่ verisoft ใช้เทคนิคการลดอันดับบางส่วนสำหรับรัฐที่มีประสิทธิภาพน้อยกว่าการตรวจสอบ การเรียนรู้ในบริบทของซอฟต์แวร์การตรวจสอบรูปแบบยังถูกสอบสวนใน [ 20 ] และ [ 25 ] = - = - = - แต่ด้วยเป้าหมายที่แตกต่างกัน ในงานนั้น ผม * ขั้นตอนวิธีจะใช้ในการสร้างแบบจำลองของระบบซอฟต์แวร์ที่สามารถใช้กับรูปแบบการตรวจสอบและการทดสอบเทคนิค 8 สรุปเราก่อน