โปรแกรมตาม thechecker.sf.net
-
The Checker Framework ฟรี
กรอบงาน Checker เป็นชุดของการตรวจสอบ / การแปลงที่ขยายได้ง่ายเพื่อสร้างลําดับชั้นของการดําเนินงานห่วงโซ่ได้อย่างง่ายดายเพื่อจัดเก็บ / ที่จะสร้างและใช้งานใหม่ (ในเวลาทํางานถ้าคุณต้องการ)