Erfasste Open-Source-Repos von esbmc, sortiert nach Sternen.
Der effiziente SMT-basierte kontextbeschränkte Model Checker (ESBMC).
