PrototypeCommon
MPI-SWS/genmc
Generic model checker for concurrent C programs (mirror repository)
- Owner
- MPI-SWS (organization)
- Stars
- Stars: 222
- Forks
- Forks: 36
- Language
- C++
- License
- Apache-2.0
- Created
- 2019
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in C++
All C++ repos- hery-torrado/KernelESPStars: 222C++Prototype
- NVIDIA/NeMo-Speech.cppStars: 222C++Prototype
- Villagers654/VentureStars: 222C++Prototype
- borisbrodski/sevenzipjbindingStars: 222C++Prototype
- boostorg/safe_numericsStars: 222C++Prototype
- adafruit/Adafruit_Motor_Shield_V2_LibraryStars: 222C++Prototype