Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/gipsyh/rIC3

A high-performance IC3/PDR algorithm implementation in Rust.
https://github.com/gipsyh/rIC3

formal-verification ic3 model-checking pdr-algorithm

Last synced: about 2 months ago
JSON representation

A high-performance IC3/PDR algorithm implementation in Rust.

Host: GitHub
URL: https://github.com/gipsyh/rIC3
Owner: gipsyh
License: gpl-3.0
Created: 2023-02-06T14:08:14.000Z (about 2 years ago)
Default Branch: master
Last Pushed: 2024-05-22T05:42:06.000Z (9 months ago)
Last Synced: 2024-05-22T19:35:45.632Z (9 months ago)
Topics: formal-verification, ic3, model-checking, pdr-algorithm
Language: Rust
Homepage:
Size: 656 KB
Stars: 4
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

awesome-rust-formalized-reasoning - rIC3 Hardware Model Checker - high-performance implementation of the IC3/PDR algorithm. (Projects / Verification)

README

        # rIC3 Hardware Model Checker

[![Crates.io](https://img.shields.io/crates/v/rIC3.svg)](https://crates.io/crates/rIC3)

[![License: GPL v3](https://img.shields.io/badge/License-GPLv3-blue.svg)](https://www.gnu.org/licenses/gpl-3.0)

[[HWMCC'24](https://hwmcc.github.io/2024/)] rIC3 won *1^st* place in the bit-level track and the word-level without array track at the *Hardware Model Checking Competition* (HWMCC) 2024



	

	



To view the submission for HWMCC'24, please checkout the `HWMCC24` branch or download the binary release at https://github.com/gipsyh/rIC3-HWMCC24.

## Build and Run

Currently, some dependency libraries are linked through pre-compiled static files in the repository, and they have a dependency on the glibc version. Ubuntu 20.04 or later works fine.

- Install the Rust compiler https://www.rust-lang.org/

- Switch to nightly ````rustup default nightly````

- ````git clone --recurse-submodules https://github.com/gipsyh/rIC3````

- ````cargo r --release -- ````

Copyright (C) 2023 - Present, Yuheng Su ([email protected]). All rights reserved.

Without obtaining authorization, rIC3 is not allowed to be used for any commercial purposes.