ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. STP

STP 1022

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 2.8/5 - ‎14 ‎โหวต
ดาวน์โหลด

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

ประวัติรุ่น

  • เวอร์ชัน simplifyingSTP%20r1022 โพสต์เมื่อ 2010-09-24
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน simplifyingSTP r1022 โพสต์เมื่อ 2010-09-24

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • Javascript and CSS compress utility ฟรี

    เครื่องมือบรรทัดคําสั่งเพื่อบีบอัดและสับสนรหัส Javascript และบีบอัดรหัส CSS (อ้างอิงจาก KJS -- ไลบรารี Javascript ที่รวมอยู่ใน KHTML)

  • EasySnuffle ฟรี

    EasySnuffle เป็นเครื่องมือวัดสําหรับจับข้อความโปรโตคอลสถานะโปรโตคอลภายในและเพื่อวัดประสิทธิภาพการใช้งานบนโหนดเครือข่าย มีการใช้งานหัววัดการวัดสําหรับ UDP, IP และ IEEE 802.11b MAC

  • Open Streaming Server ฟรี

    Open Streaming Server เป็นการส่งสื่อดิจิทัล คุณสมบัติหลักคือ: - สตรีมมิ่งของ mp4, 3gp, WMF, ไฟล์ QT - การปรับแบนด์วิดท์แบบไดนามิก - การปรับสมดุลการโหลด - เทคโนโลยีการกระจายเนื้อหา: C ++, Java และ CORBA

  • Chilkat Encryption .NET Component ทดลองใช้ฟรี

    Chilkat Crypt .NET เป็นคอมโพเนนต์การเข้ารหัสลับขั้นสูงที่มีทั้งคีย์สาธารณะ RSAการเข้ารหัสด้วยลายเซ็นดิจิทัลรวมถึงอัลกอริทึมการเข้ารหัสแบบสมมาตรรวมถึงAES (Rijndael), ปลาเป่าและปลาสองปลา มันให้ความสามารถในการสร้างดิจิตอลไ

  • Obfuscator for .NET framework ทดลองใช้ฟรี

    Skater .NET Obfuscator เป็นเครื่องมือทําให้สับสนสําหรับการป้องกันโค้ด .NET มันใช้เทคนิคการป้องกันซอฟต์แวร์ที่รู้จักกันทั้งหมดและอัลกอริทึมการทําให้สับสนSkater .NET Obfuscator เป็นโซลูชันระดับมืออาชีพที่ครอบคลุมสําหรับการป้อ

  • Angel USB Clock Vol.2 ฟรี

    เปลี่ยนมือถือของคุณให้เป็นนาฬิกานาฬิกา USB Angel เป็นแอปที่เปลี่ยนมือถือของคุณให้เป็นนาฬิกาแบบอะนาล็อกในขณะที่คุณ#39;กําลังชาร์จแบตเตอรี่มือถือของคุณ[คุณสมบัติ]*จะเริ่มต้นโดยอัตโนมัติเป็นนาฬิกา, เมื่อแบตเตอรี่จะถูกชาร์จ

  • EMF Search Plugin ฟรี

    ปลั๊กอินการค้นหา EMF -- ปลั๊กอิน Eclipse 3.0 นี้มีหน้าค้นหาเฉพาะสําหรับการค้นหาข้อมูลอินสแตนซ์รุ่น EMF ที่ซีเรียลไลซ์ไปยังทรัพยากรพื้นที่ทํางาน ปัจจุบันได้รับการสนับสนุนคือการค้นหาข้อความปกติและการค้นหา XPath (โดยใช้ Jakarta

  • PV Orientator ฟรี

    วางตําแหน่งเซลล์แสงอาทิตย์ของคุณในมุมที่เหมาะสมทุกที่ทุกเวลาในโลก -----------------------------------------------------------------------------------------------------------------การใช้พลังงานแสงอาทิตย์ได้เพิ่มขึ้นเมื่อเร็ว ๆ

  • Eclipse Json Editor Plugin ฟรี

    JSON Editor เป็นปลั๊กอินที่เรียบง่ายสําหรับ Eclipse IDE ที่ให้: - การเน้นข้อความสี - มุมมองเค้าร่างต้นไม้ - การตรวจสอบ JSON - การจัดรูปแบบข้อความ - การพับข้อความสําหรับรูปแบบข้อมูล JSON

  • D-Addicts Browser ฟรี

    D-Addict เป็นแหล่งแรกของละครเอเชียและรายการทีวีบนเว็บ: ญี่ปุ่นเกาหลีจีนฮ่องกงไต้หวันละครสิงคโปร์และรายการทีวี เข้าถึงไฟล์ล่าสุดของ D-Addicts ได้อย่างง่ายดายและค้นหา เปิดหน้าในเบราว์เซอร์เริ่มต้นสําหรับรายละเอียดเพิ่มเติมหรือด