Recomposition: A New Technique for Efficient Compositional Verification

Ian Dardik, April Porter, Eunsuk Kang

Compositional verification algorithms are well-studied in the context of model checking. Properly selecting components for verification is important for efficiency, yet has receive…