A Semantic Approach to Reachability Matrix Computation