GitHub topics: invariant-inference
1811htsang/IE105-P21-Software-bug-detection-using-graph Fork of jkottapa/BugDetector
A bug detector based on call graphs and invariant inference
Language: C - Size: 103 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 1 - Forks: 0
verse-lab/sisyphus
Mostly Automated Proof Repair for Verified Libraries
Language: OCaml - Size: 2.17 MB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 0
kheradmand/anime_public
Automatic Network Intent Miner (Anime)
Language: C++ - Size: 148 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 3
