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

رقم:

مقدم:

كابتشا:

  ____       ___      _____    _    _             
 |  _ \\    / _ \\   / ____|| | || | ||   ____    
 | |_| ||  | / \ || / //---`' | || | ||  |    \\  
 | .  //   | \_/ || \ \\___   | \\_/ ||  | [] ||  
 |_|\_\\    \___//   \_____||  \____//   |  __//  
 `-` --`    `---`     `----`    `---`    |_|`-`   
                                         `-`

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

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