द्वारा कार्यक्रम thechecker.sf.net
-
The Checker Framework मुफ्त
चेकर फ्रेमवर्क श्रृंखला संचालन के पदानुक्रम का निर्माण करने के लिए आसानी से जांच/परिवर्तन का एक आसानी से विस्तारित सेट है जिसे आसानी से स्टोर/टू-टू-निर्मित किया जाता है और पुन उपयोग किया जाता है (यदि आप चाहें तो रन टाइम पर)।