أرسل هذا في رسالة قصيرة: Augmenting static program analysis and design verification with pattern recognition

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