Conventional model checkers input a

Conventional model checkers input a description of a model, represented as a state transition system, and a specification, typically a formula in some temporal logic, and return “yes” or “no”, indicating whether or not the model satisfies the specification. In the case of probabilistic model checking, the models are probabilistic, in the sense that they encode the probability of making a transition between states instead of simply the existence of such a transition, and analysis normally entails calculation of the actual likelihoods through appropriate numerical or analytical methods.

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

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

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

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

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

Conventional model checkers input a description of a model, represented as a state transition system, and a specification, typically a formula in some temporal logic, and return “yes” or “no”, indicating whether or not the model satisfies the specification. In the case of probabilistic model checking, the models are probabilistic,ในความรู้สึกที่พวกเขาเข้ารหัสความน่าจะเป็นของการเปลี่ยนผ่านระหว่างรัฐ แทนที่จะเป็นเพียงการมีอยู่ของเช่นการเปลี่ยน และการวิเคราะห์ปกติใช้การคำนวณ likelihoods จริงผ่านที่เหมาะสมหรือเชิงตัวเลขวิธี