STP 1022
ใบ อนุญาต: ฟรี ขนาดแฟ้ม: N/A
คะแนนจากผู้ใช้: 2.8/5 - 14 โหวต
กรุณารอสักครู่ ลิงก์ดาวน์โหลดของคุณกําลังได้รับการตรวจสอบสําหรับเนื้อหาที่เป็นอันตราย
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
เกี่ยวกับ STP
STP (Simple Theorem Prover): ขั้นตอนการแก้ปัญหา / การตัดสินใจข้อ จํากัด ที่ยอมรับสูตรหรือข้อ จํากัด ที่สร้างขึ้นโดยเครื่องมือวิเคราะห์โปรแกรม / เครื่องมือสร้างการทดสอบตัวตรวจสอบแบบจําลองตัวค้นหาข้อผิดพลาดเครื่องมือตรวจสอบฮาร์ดแวร์ / ซอฟต์แวร์อย่างเป็นทางการ fuzzers อัจฉริยะ