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

رقم:

مقدم:

كابتشا:

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

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

أرسل هذا في رسالة قصيرة: Verification, Model Checking, and Abstract Interpretation