أرسل هذا في رسالة قصيرة: MIRACH: Efficient model checker for quantitative biological pathway models

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