أرسل هذا في رسالة قصيرة: Model-based testing for smart contracts

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