Recomposition: A New Technique for Efficient Compositional Verification. - Ian Dardik; April Porter; Eunsuk Kang (FMCAD, 2024)