codespecs

Results 1 repositories owned by codespecs

daikon

210
Stars
54
Forks
Watchers

Dynamic detection of likely invariants

verified publisher icon codespecs