Recomposition: A New Technique for Efficient Compositional Verification.

Ian Dardik, April Porter, Eunsuk Kang

Browse the full FMCAD paper archive.