प्रोग्रामिंग भाषा और उपकरण की अनुमति: जावा, सी #, सी + + ,.. के लिए आसान कोड पीढ़ी; कोड शुद्धता और औपचारिक गुणों को सत्यापित करें। इसका उद्देश्य घटकों (भाषा की निर्भरता के बिना) की अधिकतम पुन: प्रयोज्यता की अनुमति देना है, साथ ही उनमें से शुद्धता साबित करना है।
संस्करण इतिहास
- विवरण N/A पर तैनात 2011-08-09
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-08-09
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: guml.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows