Before revision:  We validate  our framework through rigorous proofs of correctness and efficiency .
After revision:  We validate the implementation of our framework through rigorous proofs of correctness and efficiency .