Most software today is concurrent and are used in everything from cellphones, washing
machines, cars to aircraft control systems. The reliability of the concurrent software may be …