STP 1022

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 2.8/5 - ‎14 ‎Phiếu

Về STP

STP (Simple Theorem Prover): một thủ tục giải quyết hạn chế / quyết định chấp nhận các công thức hoặc hạn chế được tạo ra bởi các công cụ phân tích / kiểm tra thế hệ chương trình, trình kiểm tra mô hình, trình tìm lỗi, công cụ xác minh chính thức phần cứng / phần mềm, lông tơ thông minh