โปรแกรมตาม sites.google.com/site/stpfastprover/

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