Artifact for the paper "Invariant Synthesis for Incomplete Verification Engines" in TACAS'18
Primary LanguageC