Các kho mã nguồn mở đang theo dõi của esbmc, sắp xếp theo số sao.
Trình kiểm tra mô hình giới hạn ngữ cảnh dựa trên SMT hiệu quả (ESBMC)
