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

رقم:

مقدم:

كابتشا:

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

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

أرسل هذا في رسالة قصيرة: Assertion based formal verification using Jaspergold