Methods to model-check parallel systems software.: Searching Inside