esbmc/esbmc

Trình kiểm tra mô hình giới hạn ngữ cảnh dựa trên SMT hiệu quả (ESBMC)

↗ Mở trên GitHub

Sao

517

Fork

144

Ngôn ngữ

C++

Giấy phép

NOASSERTION

Push gần nhất

10 giờ trước

C++python kotlin cpp c automated-testing automated-verification bmc cheri cp-solver incremental-learning k-induction smt-solver solidity-contracts

Chưa có intel liên quan

Kho mã này chưa xuất hiện trong bất kỳ nguồn nào radar theo dõi. Bộ thu thập chạy theo lịch — hãy quay lại khi nó bao quát kho mã này.