nishanttotla / cpachecker-crowdprover Goto Github PK
View Code? Open in Web Editor NEWAn oracle-guided heap invariant synthesizer built using CPAchecker (v1.4)
Home Page: https://svn.sosy-lab.org/software/cpachecker/tags/cpachecker-1.4/
License: Other