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

رقم:

مقدم:

كابتشا:

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

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

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