Các kho mã nguồn mở đang theo dõi của diffblue, sắp xếp theo số sao.
Công cụ kiểm tra mô hình giới hạn C (C Bounded Model Checker)
