Products

SyncStitch

SyncStitch is a model checker based on the process algebra CSP (Communicating Sequential Processes).