invariant-inference

There are 2 repositories under invariant-inference topic.

kheradmand/anime_public
Automatic Network Intent Miner (Anime)
Language:C++6 2 03
verse-lab/sisyphus
Mostly Automated Proof Repair for Verified Libraries
Language:OCaml3 2 300