Dirk Beyer 0001, Thomas Lemberger 0002, Jan Haltermann, Heike Wehrheim. Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022. pages 536-548, IEEE, 2022. [doi]
Abstract is missing.