Another promising solution is to bu

Another promising solution is to build formal models which capture all the useful behaviours of the modelled system
so that the proof results which are obtained with these models would be meaningful,but which are reduced enough to be analysed by existing model-checkers. This is the basic idea of this work.

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

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

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

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

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

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