nyu-acsys / drift

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

Related projects

Alternatives and complementary repositories for drift