أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

 ______      ___      ______     ___     _    _   
|      \\   / _ \\   /_   _//   / _ \\  | \  / || 
|  --  //  | / \ ||    | ||    / //\ \\ |  \/  || 
|  --  \\  | \_/ ||   _| ||   |  ___  ||| .  . || 
|______//   \___//   /__//    |_||  |_|||_|\/|_|| 
`------`    `---`    `--`     `-`   `-` `-`  `-`

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: Counterexample generation for probabilistic model checking micro-scale cyber-physical systems