ods. For software specification, in

ods. 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:

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

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

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

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

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

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

กว่าเดิมอีก
จำลอง ทั้งในพื้นที่ นักวิจัยและผู้ปฏิบัติงานมีประสิทธิภาพมากขึ้น

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