Only recently have we begun to see

Only recently have we begun to see a
more promising picture of formal methods.
For software specification, industry
is open to trying out notations such as Z
to document a system’s properties more
rigorously. For hardware verification,
industry is adopting techniques such as
model checking and theorem proving to
complement the more traditional one of
simulation. In both areas, researchers
and practitioners are performing more
and more industrial-sized case studies,
and thereby gaining the benefits of using formal methods.

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

เพียงเมื่อเร็ว ๆ นี้ เราได้เริ่มเห็นการภาพแนวโน้มมากขึ้นของวิธีการทาง สำหรับข้อมูลจำเพาะเกี่ยวกับซอฟต์แวร์ อุตสาหกรรมเปิดให้ลองฯลฯ เช่น Zเพื่อเพิ่มเติมคุณสมบัติของระบบเอกสารทดสอบ สำหรับการตรวจสอบฮาร์ดแวร์อุตสาหกรรมใช้เทคนิคเช่นตรวจสอบแบบจำลองและทฤษฎีบทพิสูจน์การเติมเต็มมากกว่าหนึ่งการจำลองการ ในทั้งสองพื้นที่ นักวิจัยและผู้มีประสิทธิภาพมากขึ้นและเพิ่มเติมขนาดอุตสาหกรรมกรณี ศึกษาและจึงได้รับประโยชน์ของการใช้วิธีการทาง

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

เมื่อเร็ว ๆ นี้เราได้เริ่มเห็น
ภาพที่มีแนวโน้มมากขึ้นของวิธีการทางการ.
สำหรับข้อมูลซอฟต์แวร์อุตสาหกรรม
จะเปิดให้ทดลองใช้สัญลักษณ์เช่น Z
ไปยังเอกสารคุณสมบัติของระบบมากขึ้น
อย่างจริงจัง สำหรับการตรวจสอบฮาร์ดแวร์
อุตสาหกรรมเป็นการนำเทคนิคเช่น
การตรวจสอบรูปแบบและทฤษฎีบทพิสูจน์ให้
เติมเต็มหนึ่งแบบดั้งเดิมมากขึ้นของ
การจำลอง ในพื้นที่ทั้งนักวิจัย
และผู้ปฏิบัติงานมีประสิทธิภาพมากขึ้น
และอื่น ๆ กรณีศึกษาอุตสาหกรรมขนาด
และจึงดึงดูดประโยชน์ของการใช้วิธีการทางการ

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

นี้เราเริ่มเห็นภาพ
สัญญาเพิ่มเติมวิธีการที่เป็นทางการ

สำหรับอุตสาหกรรมซอฟต์แวร์ เปิดให้พยายามหาสัญลักษณ์เช่น Z
เอกสารคุณสมบัติของระบบมากขึ้น
อย่างจริงจัง . การตรวจสอบฮาร์ดแวร์ , อุตสาหกรรม คือ การใช้เทคนิคเช่น

รูปแบบการตรวจสอบและพิสูจน์ได้

กว่าเดิมอีก
จำลอง ทั้งในพื้นที่ นักวิจัย
และผู้ปฏิบัติงานมีประสิทธิภาพมากขึ้น
อุตสาหกรรมขนาดกรณีศึกษา
และจึงได้รับประโยชน์ของการใช้วิธีการที่เป็นทางการ