verification

ĐÃ LƯU TRỮ/ĐÃ DI CHUYỂN: vui lòng truy cập vị trí mới

CreuSAT - Một bộ giải SAT được xác minh hình thức viết bằng Rust và được xác minh bằng Creusot.

Cosette là một trình giải SQL tự động.

pySMT: Thư viện để thao tác và giải các công thức SMT

Danh sách các công cụ và framework xác thực phần cứng mã nguồn mở miễn phí

APALACHE: công cụ kiểm tra mô hình biểu tượng cho TLA+ và Quint

Simple Theorem Prover, một trình giải SMT hiệu quả cho bitvector, dấu phẩy động và mảng.

Witness là một framework có thể cắm vào để quản lý rủi ro chuỗi cung ứng phần mềm. Nó tự động hóa, chuẩn hóa và xác minh nguồn gốc của các thành phần phần mềm.

KaRaMeL là một công cụ để trích xuất các chương trình F* cấp thấp thành mã C dễ đọc

Chuỗi công cụ phần mềm đã được xác minh