by gipsyh · Agent Tool · ★ 110
rIC3 Hardware Model Checker LLM-Assisted Model Checking rIC3 supports LLM-accelerated model checking through invariant generation. For details, see the paper CIll: CTI-Guided Invariant Generation via LLMs for Model Checking. The prompt and VCD inspection MCP tools are located under the directory. For a concrete example, see https://github.com/gipsyh/cill-exp HWMCC rIC3 achieved first place in both the bit-level track and the word-level bit-vector track at the 2024 and 2025 Hardware Model Checking Competition (HWMCC).
| Stars | 110 |
| Forks | 24 |
| Language | Rust |
| Category | Agent Tool |
| License | GPL-3.0 |
| Quality Score | 67.9995070929533/100 |
| Open Issues | 2 |
| Last Updated | 2026-06-28 |
| Created | 2023-02-06 |
| Platforms | rust |
| Est. Tokens | ~22k |
These tools work well together with rIC3 for enhanced workflows:
Explore other popular agent tool tools:
rIC3 is LLM-Assisted Hardware Formal Verification Tool. It is categorized as a Agent Tool with 110 GitHub stars.
rIC3 is primarily written in Rust. It covers topics such as formal-verification, hardware, ic3.
You can find installation instructions and usage details in the rIC3 GitHub repository at github.com/gipsyh/rIC3. The project has 110 stars and 24 forks, indicating an active community.
rIC3 is released under the GPL-3.0 license, making it free to use and modify according to the license terms.