nyu-acsys / drift

An abstract-interpretation-based static analysis for inferring refinement types
16Updated last week

Related projects

Alternatives and complementary repositories for drift