(1) เครื่องมือซอฟต์แวร์ที่ยอมรับเป็นค่าที่ป้อนโปรแกรมคอมพิวเตอร์และการแสดงรูปภาพของข้อมูลจำเพาะและผลิตผล ด้วยวิธีใช้มนุษย์ การพิสูจน์ หรือ disproof ของความถูกต้องของการ program.~(2) ที่อาจมือซอฟต์แวร์ใด ๆ ที่ทำส่วนหนึ่งหรือทั้งหมดของกระบวนการตรวจสอบ