Text this: Software Model Checking For Distributed Applications Using Hybridization Of Centralization And Cache Approaches