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

رقم:

مقدم:

كابتشا:

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

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

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