Probabilistic choice and demonic no

Probabilistic choice and demonic nondeterminism have been combined in a
model for sequential programs [11, 8] in which program renement is dened
by removing demonic nondeterminism. Here we study the more general topic
of data renement in the probabilistic setting, extending standard techniques
to probabilistic programs. We use the method to obtain a quantitative assessment
of safety of a (probabilistic) version of the steam boiler [1]

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

เลือก probabilistic และ nondeterminism ปีศาจได้ถูกรวมในการแบบจำลองสำหรับโปรแกรมตามลำดับ [11, 8] เป็นโปรแกรมใหม่ nement de nedโดยการเอาปีศาจ nondeterminism นี่เราศึกษาหัวข้อทั่วไปของข้อมูลอีกครั้ง nement ตั้งค่า probabilistic ขยายเทคนิคมาตรฐานโปรแกรม probabilistic เราใช้วิธีการขอรับการประเมินผลเชิงปริมาณความปลอดภัยของหม้อไอน้ำ [1] รุ่น (probabilistic)

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

น่าจะเป็นทางเลือกและไม่นิยมปีศาจได้รับการรวมกันใน
รูปแบบสำหรับโปรแกรมต่อเนื่อง [11 8] ซึ่ง nement โปรแกรมใหม่เป็น ned
โดยการเอาไม่นิยมปีศาจ ที่นี่เราศึกษาหัวข้อทั่วไปมากขึ้น
ของข้อมูลอีกครั้ง nement ในการตั้งค่าความน่าจะขยายเทคนิคมาตรฐาน
กับโปรแกรมความน่าจะเป็น เราใช้วิธีการที่จะได้รับการประเมินผลเชิงปริมาณ
ของความปลอดภัยของ (น่าจะ) รุ่นของหม้อไอน้ำ [1]

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

และเลือกการ nondeterminism ปีศาจถูกรวมในรูปแบบโปรแกรม [ 11 ] ในลำดับที่ 8 ซึ่ง renement โปรแกรม denedโดยการเอา nondeterminism ปีศาจ ที่นี่เราจะศึกษาหัวข้อทั่วไปของ renement ข้อมูลในการตั้งค่าการขยายเทคนิคมาตรฐานโปรแกรมการ . เราใช้วิธีที่จะขอรับการประเมินเชิงปริมาณความปลอดภัยของ ( ความน่าจะเป็น ) รุ่นของหม้อไอน้ำ [ 1 ]