Các kho mã nguồn mở đang theo dõi của model-checking, sắp xếp theo số sao.
Công cụ kiểm chứng Kani Rust Verifier
