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

رقم:

مقدم:

كابتشا:

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

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

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