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

رقم:

مقدم:

كابتشا:

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

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

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