The efficient SMT-based context-bounded model checker (ESBMC)
-
Updated
Jun 22, 2024 - C
The efficient SMT-based context-bounded model checker (ESBMC)
Automated Code Repair suite powered by ESBMC and LLMs.
OpenBMC is an open software framework to build a complete Linux image for a Board Management Controller (BMC).
IPMI metrics exporter
Kernel upgrade project for OpenBMC for KGPE-D16 / KCMA-D8
Add a description, image, and links to the bmc topic page so that developers can more easily learn about it.
To associate your repository with the bmc topic, visit your repo's landing page and select "manage topics."