Text this: Verification of a Probabilistic Model and Optimization in Long-Range Networks