Text this: Software model checking for distributed applications using hybridization of centralization and cache approaches