Techniques are sought to reduce and

Techniques are sought to reduce and ease the verification efforts while increasing their coverage.

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

เทคนิคคือพยายามที่จะลด และบรรเทาความพยายามที่จะตรวจสอบในขณะที่เพิ่มความครอบคลุมของ

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

เทคนิคที่จะพยายามที่จะลดความพยายามและความสะดวกในการตรวจสอบในขณะที่เพิ่มความคุ้มครองของพวกเขา

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

เทคนิคคือ พยายามที่จะลดและบรรเทาการตรวจสอบความพยายามในขณะที่เพิ่มความคุ้มครองของพวกเขา