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

ตัวตรวจสอบแบบคงที่ที่จําลองจะตรวจสอบการดําเนินการตามความเท่าเทียมกันสําหรับโครงการ Eclipse Java