Abstract: Nowadays parallel software system is very common and practical. However, it is difficult to test parallel software, because the state space of parallel software is very large. Therefore, a ...

Abstract: Model checking is a formal method used to verify the correctness of hardware or software system designs and implementations. This kind of algorithm typically involves exhaustively searching ...