PrototypeCommon
gipsyh/rIC3
Hardware Formal Verification Tool
- Owner
- gipsyh (personal account)
- Stars
- Stars: 125
- Forks
- Forks: 31
- Language
- Rust
- License
- BSD-3-Clause
- Created
- 2023
- Topics
- ic3model-checkingformal-verificationhardware
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rust
All Rust repos- hadc188/readerStars: 125RustPrototype
- langideas/OrdiBotStars: 125RustPrototype
- Stink-O/orbital-laserStars: 125RustPrototype
- josip/node-colour-extractorStars: 125RustPrototype
- steveklabnik/rustbookStars: 125RustPrototype
- doy/vt100-rustStars: 125RustPrototype