أرسل هذا في رسالة قصيرة: Verified Software: Theories, Tools, Experiments

  ______   __   __    ______    ______            
 /_   _//  \ \\/ //  /_____//  /_   _//     ___   
 `-| |,-    \ ` //   `____ `    -| ||-     /   || 
   | ||      | ||    /___//     _| ||_    | [] || 
   |_||      |_||    `__ `     /_____//    \__ || 
   `-`'      `-`'    /_//      `-----`      -|_|| 
                     `-`                     `-`