โปรแกรมตาม lethal.sf.net

LETHAL เป็นห้องสมุด Java สําหรับการทํางานกับต้นไม้จํากัดและป้องกันความเสี่ยงอัตโนมัติ มันให้ความหลากหลายของการดําเนินงานและการประเมินคุณสมบัติ นอกจากนี้ไลบรารียังมาพร้อมกับส่วนติดต่อผู้ใช้แบบกราฟิกที่สามารถเขียนสคริปต์ได้เพื่