/daikon

Dynamic detection of likely invariants

Primary LanguageCOtherNOASSERTION

Stargazers