c-cegar-icse2022 protected

Thomas Lemberger

@lemberger

be90004f · Raise resource limit within C-CEGAR · Feb 08, 2022

Version used in ICSE'22 publication 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'