A Comparison of Modular Verification Techniques