CNVS: Monte Carlo Validation Framework for Fragmentation-Based Distributed Verification Architectures | Synapse