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

رقم:

مقدم:

كابتشا:

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

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

أرسل هذا في رسالة قصيرة: UML design verification based on model checking techniques