أرسل هذا في رسالة قصيرة: Formal Methods and Testing

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