أرسل هذا في رسالة قصيرة: Verification, Model Checking, and Abstract Interpretation

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