we describe approaches to efficient

we describe approaches to efficiently check whether applications exhibit or do not exhibit certain properties.

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

เราอธิบายวิธีการตรวจสอบว่า โปรแกรมประยุกต์ที่แสดง หรือไม่แสดงคุณสมบัติเฉพาะบางอย่างได้อย่างมีประสิทธิภาพ

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

เราจะอธิบายวิธีการได้อย่างมีประสิทธิภาพตรวจสอบว่าการจัดแสดงการใช้งานหรือไม่แสดงคุณสมบัติบางอย่าง

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

เราอธิบายวิธีการได้อย่างมีประสิทธิภาพตรวจสอบว่าโปรแกรมแสดงหรือไม่แสดงคุณสมบัติบางอย่าง .