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

संस्थाओं और संबंधों को उपयोगकर्ता परिभाषित प्रकार के रूप में निर्दिष्ट किया जाता है। हम पीवीएस साबित उपकरण का उपयोग करेंगे। सत्यापन में टाइप चेकर द्वारा स्वचालित रूप से उत्पन्न होने वाली प्रकार शुद्धता स्थितियों को साबित करना