द्वारा कार्यक्रम oval.sf.net

ओवल जावा 5 या बाद में एक एक्सटेंसिबल ऑब्जेक्ट सत्यापन फ्रेमवर्क है। एनोटेशन (@NotNull) या एक्सएमएल कॉन्फ़िगरेशन फाइल्स का उपयोग वर्ग की बाधाओं को व्यक्त करने के लिए किया जा सकता है। OVal वैकल्पिक रूप से स्वचालित सत्यापन (DbC)