1. A computer-implemented process for examining concurrent system state space, the computer-implemented process comprising: modeling a system having concurrent events to create a modeled system; creating a minimal chain decomposition of the modeled system to identify a set of chains; extending all chains in the set of chains; generating a first set of paths, wherein the first set of paths is a minimal set of paths covering all states of the modeled system; and exploring the first set of paths.