أرسل هذا في رسالة قصيرة: Verification of orchestration systems using compositional partial order reduction

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