PrototypeCommon
RUB-SysSec/EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
- Owner
- RUB-SysSec (personal account)
- Stars
- Stars: 106
- Forks
- Forks: 13
- Language
- Rust
- License
- MIT
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by RUB-SysSec
All 19 repos by RUB-SysSec- RUB-SysSec/DroneSecurityStars: 1,332PythonBeta
- RUB-SysSec/kAFLStars: 596PythonAlpha
- RUB-SysSec/redqueenStars: 402PythonAlpha
- RUB-SysSec/MicrocodeStars: 357PythonAlpha
- RUB-SysSec/OMENStars: 335CAlpha
- RUB-SysSec/syntiaStars: 322PythonAlpha
Nearby in Rust
All Rust repos- Geekgineer/needle-rsStars: 106RustPrototype
- JYH1878/KimiCodeBar-WindowsStars: 106RustPrototype
- skate6743/skate2-rust-portStars: 106RustPrototype
- cuviper/probe-rsStars: 106RustPrototype
- sbstp/rust-igdStars: 106RustPrototype
- chyh1990/imageprocStars: 106RustPrototype